The Community for Technology Leaders
2012 IEEE 24th International Conference on Tools with Artificial Intelligence (2004)
Boca Raton, Florida
Nov. 15, 2004 to Nov. 17, 2004
ISSN: 1082-3409
ISBN: 0-7695-2236-X
TABLE OF CONTENTS
Introduction

Program Committee (PDF)

pp. xvi-xvii
Keynote Speeches

Detecting and Mitigating Security Anomaliies (PDF)

Mladen Vouk , North Carolina State University
pp. 4
Session 1: Data Mining — I

Mining Confident Minimal Rules with Fixed-Consequents (Abstract)

Dongmei Ren , North Dakota State University
Weihua Wu , North Dakota State University
Imad Rahal , North Dakota State University
William Perrizo , North Dakota State University
pp. 6-13

FlowMiner: Finding Flow Patterns in Spatio-Temporal Databases (Abstract)

Mong Li Lee , National University of Singapore
Jason Wang , New Jersey Institute of Technology
Junmei Wang , National University of Singapore
Wynne Hsu , National University of Singapore
pp. 14-21

A Vertical Outlier Detection Algorithm with Clusters as By-Product (Abstract)

William Perrizo , North Dakota State University
Dongmei Ren , North Dakota State University
Imad Rahal , North Dakota State University
pp. 22-29

Identifying Variable-Length Meaningful Phrases with Correlation Functions (Abstract)

Hyoung-rae Kim , Florida Institute of Technology
Philip K. Chan , Florida Institute of Technology
pp. 30-38
Session 2: Optimization — I

Optimization of Bounds in Temporal Flexible Planning with Dynamic Controllability (Abstract)

Benjamin W. Wah , University of Illinois at Urbana-Champaign
Dong Xin , University of Illinois at Urbana-Champaign
pp. 40-48

Empirical Evaluation of Optimized Stacking Configurations (Abstract)

Agapito Ledezma , Universidad Carlos III de Madrid
Araceli Sanchis , Universidad Carlos III de Madrid
Ricardo Aler , Universidad Carlos III de Madrid
Daniel Borrajo , Universidad Carlos III de Madrid
pp. 49-55

MetaIP — A New Approach to Combinatorial Optimization: Case Studies (Abstract)

Andrew Lim , Hong Kong University of Science and Technology
Yanzhi Li , Hong Kong University of Science and Technology
pp. 56-62
Session 3: SAT/Search Algorithms — I

Using Directed Acyclic Graphs to Coordinate Propagation and Search for Numerical Constraint Satisfaction Problems (Abstract)

Djamila Sam-Haroud , Swiss Federal Institute of Technology
Hermann Schichl , University of Vienna
Xuan-Ha Vu , Swiss Federal Institute of Technology
pp. 72-81

SAT Based BDD Solver for Quantified Boolean Formulas (Abstract)

Lakhdar Sa? , Universit? d?Artois
Gilles Audemard , Universit? d?Artois
pp. 82-89

Scalable Distributed Depth-First Search with Greedy Work Stealing (Abstract)

Roland H. C. Yap , National University of Singapore
Andrew E. Santosa , National University of Singapore
Joxan Jaffar , National University of Singapore
Kenny Q. Zhu , National University of Singapore
pp. 98-103
Session 4: Machine Learning — I

A Coverage Based Ensemble Algorithm (CBEA) for Streaming Data (Abstract)

Sara Graves , University of Alabama in Huntsville
Amy Lin , University of Alabama in Huntsville
John Rushing , University of Alabama in Huntsville
Evans Criswell , University of Alabama in Huntsville
pp. 106-112

Distilling Classification Models from Cross Validation Runs: An Application to Mass Spectrometry (Abstract)

Alexandros Kalousis , University of Geneva
Laure Allard , Central Clinical Chemistry Laboratory
Julien Prados , University of Geneva
Jean-Charles Sanchez , Central Clinical Chemistry Laboratory
Melanie Hilario , University of Geneva
pp. 113-119

Comparative Analysis of Two Associative Memory Neural Networks (Abstract)

Tahar Kechadi , University College Dublin
Orla McEnery , University College Dublin
Franz Geiselbrechtinger , University College Dublin
Alex Cronin , University College Dublin
pp. 120-127
Session 5: Data Mining — II

Towards Real-Time Obstacle Detection Using a Hierarchical Decomposition Methodology for Stereo Matching with a Genetic Algorithm (Abstract)

Y. Ruichek , University of Technology of Belfort-Montb?liard
J. G. Postaire , University of Sciences and Technologies of Lille
J. C. Burie , University of La Rochelle
H. Issa , University of Sciences and Technologies of Lille
pp. 138-147

Emulating a Cooperative Behavior in a Generic Association Rule Visualization Tool (Abstract)

Sadok Ben Yahia , Faculté des Sciences de Tunis
Engelbert Mephu Nguifo , Université d' Artois
pp. 148-155

A Scalable Algorithm for Mining Maximal Frequent Sequences Using Sampling (Abstract)

Congnan Luo , Wright State University
Soon M. Chung , Wright State University
pp. 156-165

Cultural Algorithms: Modeling of How Cultures Learn to Solve Problems (Abstract)

Bin Peng , Wayne State University
Robert G. Reynolds , Wayne State University
pp. 166-172
Session 6: Software Engineering with Computational Intelligence

Automated Test Data Generation Using MEA-Graph Planning (Abstract)

I-Ling Yen , University of Texas at Dallas
Manish Gupta , University of Texas at Dallas
Farokh Bastani , University of Texas at Dallas
Latifur Khan , University of Texas at Dallas
pp. 174-182

Semi-Supervised Learning for Software Quality Estimation (Abstract)

Taghi M. Khoshgoftaar , Florida Atlantic University
Naeem Seliya , Florida Atlantic University
Shi Zhong , Florida Atlantic University
pp. 183-190

Extract Rules from Software Quality Prediction Model Based on Neural Network (Abstract)

Jie Zhu , Shanghai Jiaotong University
Bo Yu , Lucent Technologies Optical Networks Co., Ltd Shanghai
Qi Wang , Shanghai Jiaotong University
pp. 191-195

Using Fuzzy Theory for Effort Estimation of Object-Oriented Software (Abstract)

Márcio Rodrigo Braz , Federal University of Paraná
Silvia R. Vergilio , Federal University of Paraná
pp. 196-201

Human Perception of Software Complexity: Knowledge Discovery from Software Data (Abstract)

Vanda Wu , University of Alberta
Marek Reformat , University of Alberta
Nicolino J. Pizzi , National Reserach Conucil - Canada
Petr Musilek , University of Alberta
pp. 202-206
Session 7: Information Retrieval — I

Giving Temporal Order to News Corpus (Abstract)

Isamu Shioya , Sanno University
Takao Miura , Hosei University
Hiroshi Uejima , Hosei University
pp. 208-215

An Information Retrieval System for the Analysis of Systematic Defects in VLSI (Abstract)

Bette Bergman Reuter , IBM Microelectronics
Shi Zhong , Florida Atlantic University
Dan Maynard , IBM Microelectronics
pp. 216-223

CoIRS: Cluster-Oriented Image Retrieval System (Abstract)

Hewayda M. Lotfy , University of Louisville
Adel S. Elmaghraby , University of Louisville
pp. 224-231
Session 8: SAT/Search Algorithms — II

A Time-Space Trade-Off for Constraint Networks Decomposition (Abstract)

Cyril Terrioux , Université déAix-Marseille 3
Philippe Jégou , Université déAix-Marseille 3
pp. 234-239

Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints (Abstract)

Eugene C. Freuder , University College Cork
Stefano Bistarelli , CNR and Universitá degli Studi "G. Déannunzio"
Barry O'Sullivan , University College Cork
pp. 240-245

Hidden Structure in Unsatisfiable Random 3-SAT: An Empirical Study (Abstract)

João Marques-Silva , Technical University of Lisbon
Inês Lynce , Technical University of Lisbon
pp. 246-251

Constraint Satisfaction Problems: Backtrack Search Revisited (Abstract)

Assef Chmeiss , University of Artois
Lakhdar Saïs , University of Artois
pp. 252-257
Session 9: Machine Learning — II

YaDT: Yet another Decision Tree Builder (Abstract)

Salvatore Ruggieri , Università di Pisa
pp. 260-265

Reduced Ensemble Size Stacking (Abstract)

David Patterson , University of Ulster
Niall Rooney , University of Ulster
Chris Nugent , University of Ulster
pp. 266-271

An Extended Kernel for Generalized Multiple-Instance Learning (Abstract)

Thomas Takeo Osugi , University of Nebraska
Brandon Mueller , University of Nebraska
Stephen Scott , University of Nebraska
Qingping Tao , University of Nebraska
N. V. Vinodchandran , University of Nebraska
pp. 272-277
Session 10: Planning & Scheduling

A Prioritized-Based Approach to Handling Conflicts in Access Control (Abstract)

Rania El Baida , Université déArtois
Salem Benferhat , Université déArtois
pp. 286-293

VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL (Abstract)

Richard Howey , University of Strathclyde
Maria Fox , University of Strathclyde
Derek Long , University of Strathclyde
pp. 294-301

Focussed Propagation of MDPs for Path Planning (Abstract)

Dave Ferguson , Carnegie Mellon University
Anthony Stentz , Carnegie Mellon University
pp. 310-317
Session 11: Intelligent Image Analysis — I

Automatic Heliothis Zea Classification Using Image Analysis (Abstract)

George Bebis , University of Nevada at Reno
Wenjing Li , University of Nevada at Reno
Tom Patten , University of Nevada at Reno
Michael Freeman , Verdia Inc.
pp. 320-327

A Stochastic Optimization Scheme for Automatic Registration of Aerial Images (Abstract)

N. G. Bourbakis , Wright State University
S. K. Makrogiannis , Wright State University
S. Borek , AFRL/IFEC
pp. 328-336

Efficient Image Segmentation by Mean Shift Clustering and MDL-Guided Region Merging (Abstract)

Taghi M. Khoshgoftaar , Florida Atlantic University
Qiming Luo , Florida Atlantic University
pp. 337-343

Motion Analysis with Application to Assistive Vision Technology (Abstract)

N. G. Bourbakis , Wright State University
S. K. Makrogiannis , Wright State University
pp. 344-352
Session 12: Data Mining — III

A Hybrid Approach for Mining Maixmal Hyperclique Patterns (Abstract)

Zhongnan Zhang , University of Texas at Dallas
Hui Xiong , University of Minnesota
Weili Wu , University of Texas at Dallas
Yaochun Huang , University of Texas at Dallas
pp. 354-361

Mining Decision Rules from Deterministic Finite Automata (Abstract)

Marc Sebban , Université de Saint-Etienne
Georges Valétudie , Université Antilles-Guyane
François Jacquenet , Université de Saint-Etienne
pp. 362-367

Systematic Assessment of High-Throughput Experimental Data for Reliable Protein Interactions Using Network Topology (Abstract)

Wynne Hsu , National University of Singapore
Mong Li Lee , National University of Singapore
Jin Chen , National University of Singapore
See-Kiong Ng , Institute for Inforcomm Research
pp. 368-372

Noise Identification with the k-Means Algorithm (Abstract)

Taghi M. Khoshgoftaar , Florida Atlantic University
Wei Tang , Florida Atlantic University
pp. 373-378
Session 13: Evolutionary Computation

Analysing the Effects of Combining Fitness Scaling and Inversion in Genetic Algorithms (Abstract)

Colm O'Riordan , National University of Ireland
John Newell , National University of Ireland
Séamus Hill , National University of Ireland
pp. 380-387

GP-Lab: The Genetic Programming Laboratory (Abstract)

William E. Glaholt , California State University at Sacramento
Du Zhang , California State University at Sacramento
pp. 388-395

Visualization Tool for a Terrain-Based Genetic Algorithm (Abstract)

V. Scott Gordon , California State University at Sacramento
James Thein , Genentech, Inc.
pp. 401-406
Session 14: Agent-Based Systems

Multi-Agent Opportunistic Planning and Plan Execution (Abstract)

James H. Lawton , US Air Force Research Laboratory
Carmel Domshlak , Cornell University
pp. 408-415

An Adaptive Strategy for Trust/Honesty Model in Multi-Agent Semi-Competitive Environments (Abstract)

Ho-fung Leung , Chinese University of Hong Kong
Ka-man Lam , Chinese University of Hong Kong
pp. 416-423

A Swarm Approach for Emission Sources Localization (Abstract)

A. S . Elmaghraby , University of Louisville
X. Cui , University of Louisville
R. K. Ragade , University of Louisville
C. T. Hardin , University of Louisville
pp. 424-430
Session 15: Knowledge Representation and Management — I

Theory and Semantic Refinement of Bridge Ontology Based on Multi-Ontologies (Abstract)

Peng Wang , Southeast University
Baowen Xu , Southeast University and Jiangsu Institute of Software Quality
Jianjiang Lu , Southeast University and Jiangsu Institute of Software Quality
Yanhui Li , Southeast University
Dazhou Kang , Southeast University
pp. 442-449

Combining Multiple Inclusion Representations in Numerical Constraint Propagation (Abstract)

Xuan-Ha Vu , Swiss Federal Institute of Technology
Djamila Sam-Haroud , Swiss Federal Institute of Technology
Boi Faltings , Swiss Federal Institute of Technology
pp. 458-467

Consistency of Test Cases in Validation of Bayesian Knowledge-Bases (Abstract)

Hang T. Dinh , University of Connecticut
Eugene Santos Jr. , University of Connecticut
pp. 468-475
Session 16: Intelligent Image Analysis — II

Image Chromatic Adaptation Using ANNs for Skin Color Adaptation (Abstract)

S. Makrogiannis , Wright State University
N. Bourbakis , Wright State University
S. Panchanathan , Arizona State University
R. Bryll , Wright State University
P. Kakumanu , Wright State University
pp. 478-485

Illumination Invariant Face Recognition Based on Neural Network Ensemble (Abstract)

Chong-Jun Wang , Nanjing University
Wu-Jun Li , Nanjing University
Dian-Xiang Xu , North Dakota State University
Shi-Fu Chen , Nanjing University
pp. 486-490

Image Texture Representation and Retrieval Based on Power Spectral Histograms (Abstract)

Chong-jun Wang , Nanjing University
Yu-bin Yang , Nanjing University
Shi-fu Chen , Nanjing University
Wu-jun Li , Nanjing University
pp. 491-495
Session 17: SAT/Search Algorithms — III

N-to-2-Space Mapping for Visualization of Search Algorithm Performance (Abstract)

Peter C. Nelson , University of Illinois at Chicago
Thomas M. Tirpak , PRPC Motorola Labs
Marcin Kadluczka , University of Illinois at Chicago
pp. 508-513

Meta-Heuristics for Robust Graph Coloring Problem (Abstract)

Andrew Lim , Hong Kong University of Science and Technology
Fan Wang , Hong Kong University of Science and Technology
pp. 514-518
Session 18: Information Retrieval — II

Path-Augmented Keyword Search for XML Documents (Abstract)

Xiaodong Wu , National University of Singapore
Wynne Hsu , National University of Singapore
Mong Li Lee , National University of Singapore
pp. 526-530
Session 19: SAT/Search Algorithms — IV

Guiding Real-World SAT Solving with Dynamic Hypergraph Separator Decomposition (Abstract)

Wei Li , University of Waterloo
Peter van Beek , University of Waterloo
pp. 542-548

Backjump-Based Techniques versus Conflict-Directed Heuristics (Abstract)

Fred Hemery , CRIL - CNRS FRE 2499
Frédéric Boussemart , CRIL - CNRS FRE 2499
Christophe Lecoutre , CRIL - CNRS FRE 2499
pp. 549-557

Another SAT to CSP Conversion (Abstract)

Olivier Roussel , CRIL - CNRS FRE 2499
pp. 558-565

Toward Good Elimination Orders for Symbolic SAT Solving (Abstract)

Adnan Darwiche , University of California at Los Angeles
Jinbo Huang , University of California at Los Angeles
pp. 566-573
Session 20: Unsupervised and Semi-Supervised Learning — I

Determining the Number of Clusters/Segments in Hierarchical Clustering/Segmentation Algorithms (Abstract)

Philip Chan , Florida Institute of Technology
Stan Salvador , Florida Institute of Technology
pp. 576-584

Efficient Learning of Hierarchical Latent Class Models (Abstract)

Nevin L. Zhang , Hong Kong University of Science & Technology
Tomáš Kočka , Prague University of Economics
pp. 585-593

Democratic Co-Learning (Abstract)

Yan Zhou , University of South Alabama
Sally Goldman , Washington University
pp. 594-202
Session 21: Knowledge Representation & Management — II

Exploring the Relationship between Knowledge and Algorithm Performance in Discrete Optimization (Abstract)

Eugene Santos Jr. , University of Connecticut
Xiaomin Zhong , University of Connecticut
Robert McCartney , University of Connecticut
pp. 604-611

Quartet Based Phylogeny Reconstruction with Answer Set Programming (Abstract)

Jia-Huai You , University of Alberta
Gang Wu , University of Alberta
Guohui Lin , University of Alberta
pp. 612-619

Ontology Based Object Learning and Recognition: Application to Image Retrieval (Abstract)

Nicolas Maillot , INRIA Sophia Antipolis
Monique Thonnat , INRIA Sophia Antipolis
Céline Hudelot , INRIA Sophia Antipolis
pp. 620-625
Session 22: Machine Learning — III

Mode Committee: A Novel Ensemble Method by Clustering and Local Learning (Abstract)

Mong Li Lee , National University of Singapore
Wynne Hsu , National University of Singapore
Zhipeng Xie , Fudan University
pp. 628-633

An Improved Hidden Markov Model for Transmembrane Topology Prediction (Abstract)

Li Liao , University of Delaware
Guang Gao , Delaware Biotechnology Institute Newark
Robel Y. Kahsay , Delaware Biotechnology Institute Newark
pp. 634-639

Learning Multi-Time Delay Gene Network Using Bayesian Network Framework (Abstract)

Ankush Mittal , Indian Institute of Technology
Wing-Kin Sung , National University of Singapore
Tie-Fei Liu , National University of Singapore
pp. 640-645

Boosting Constraint Satisfaction Using Decision Trees (Abstract)

Eugene C. Freuder , University College Cork
Barry O'Sullivan , University College Cork
Alex Ferguson , University College Cork
pp. 646-651

A Factor Tree Inference Algorithm for Bayesian Networks and Its Application (Abstract)

Weihong Zhang , Rensselaer Polytechnic Institute
Wenhui Liao , Rensselaer Polytechnic Institute
Qiang Ji , Rensselaer Polytechnic Institute
pp. 652-656
Session 23: Unsupervised and Semi-Supervised Learning — II

XML Clustering by Principal Component Analysis (Abstract)

Katherine G. Herbert , Montclair State University
Jianghui Liu , New Jersey Institute of Technology
Wynne Hsu , National University of Singapore
Jason T. L. Wang , New Jersey Institute of Technology
pp. 658-662

An Effective Support Vector Machines (SVMs) Performance Using Hierarchical Clustering (Abstract)

Latifur Khan , University of Texas at Dallas
Mamoun Awad , University of Texas at Dallas
Farokh Bastani , University of Texas at Dallas
I-Ling Yen , University of Texas at Dallas
pp. 663-667

Distinguishing Mislabeled Data from Correctly Labeled Data in Classifier Design (Abstract)

Casimir Kulikowski , Rutgers, The State University of New Jersey
Sundara Venkataraman , Rutgers, The State University of New Jersey
Dmitriy Fradkin , Rutgers, The State University of New Jersey
Dimitris Metaxas , Rutgers, The State University of New Jersey
Ilya Muchnik , Rutgers, The State University of New Jersey
pp. 668-672

An Efficient Density Based Clustering Algorithm for Large Databases (Abstract)

M. A. Ismail , Arab Academy for Science & Technology
Mohamed Farouk , Arab Academy for Science & Technology
Yasser El-Sonbaty , Arab Academy for Science & Technology
pp. 673-677
Session 24: SAT/Search Algorithms — V

Domain Specific Searches Using Conceptual Spectra (Abstract)

L. Farinetti , Politecnico di Torino
D. Bonino , Politecnico di Torino
F. Corno , Politecnico di Torino
pp. 680-687

K-Group A* for Multiple Sequence Alignment with Quasi-Natural Gap Costs (Abstract)

Eric A. Hansen , Mississippi State University
Rong Zhou , Mississippi State University
pp. 688-695

A Framework for Guided Complete Search for Solving Constraint Satisfaction Problems and Some of Its Instances (Abstract)

Denny J. Zheng , Chinese University of Hong Kong
Jimmy H. M. Lee , Chinese University of Hong Kong
Spencer K. L. Fung , Chinese University of Hong Kong
H. W. Chun , City University of Hong Kong
Ho-fung Leung , Chinese University of Hong Kong
pp. 696-703

A Smoothed Dynamic Tabu Search Embedded GRASP for m-VRPTW (Abstract)

Andrew Lim , Hong Kong University of Science and Technology
Fan Wang , Hong Kong University of Science and Technology
pp. 704-708
Session 25: Machine Learning — IV

Practical Aspects of Efficient Forward Selection in Decomposable Graphical Models (Abstract)

Robert M. Haralick , City University of New York Graduate Center
Stephan M. Altmueller , City University of New York Graduate Center
pp. 710-715

CORMS AI: Continuous Operational Real-Time Monitoring System (Abstract)

Carl Cecere , NOAA?s Ocean Service
Haleh Vafaie , Northrop Grumman Information Technology Inc.
pp. 716-720

Data Acquisition with Active and Impact-Sensitive Instance Selection (Abstract)

Xingquan Zhu , University of Vermont
Xindong Wu , University of Vermont
pp. 721-726
Session 26: Optimization — II

Solving Conditional and Composite Temporal Constraints (Abstract)

Malek Mouhoub , University of Regina
Amrudee Sukpan , University of Regina
pp. 734-741

Integration of Lower Bound Estimates in Pseudo-Boolean Optimization (Abstract)

Vasco M. Manquinho , Technical University of Lisbon
João Marques-Silva , Technical University of Lisbon
pp. 742-748

Integrating Artificial Intelligence, Argumentation and Game Theory to Develop an Online Dispute Resolution Environment (Abstract)

Arno R. Lodder , Centre for Electronic Dispute Resolution (CEDIRE)
Emilia Bellucci , Victoria University
John Zeleznikow , Victoria University
pp. 749-754
Session 27: Posters

A Defeasible Logic Programming System for the Web (PDF)

Gerd Wagner , Eindhoven University of Technology
Grigoris Antoniou , University of Crete and FORTH
Antonis Bikakis , University of Crete and FORTH
pp. 756-757

Events Extraction and Classification for Arabic Information Retrieval Systems (PDF)

Saleem Abuleil , Chicago State University
Martha Evens , Illinois Institute of Technology
pp. 769-770

Textured Image Retrieval by the Modal Analysis of Quantized Spectral Point Patterns (Abstract)

Célia A. Z. Barcelos , Federal University of Uberlândia
Mylene L. Rodrigues , Federal University of Uberlândia
Márcio J. R. Ferreira , Federal University of Uberlândia
pp. 771-773

Supervised Clustering — Algorithms and Benefits (Abstract)

Zhenghong Zhao , University of Houston
Nidal Zeidat , University of Houston
Christoph F. Eick , University of Houston
pp. 774-776

On Data Clustering with a Flock of Artificial Agents (PDF)

Gilles Venturini , Ecole Polytechnique de léUniversité de Tours
Hanene Azzag , Ecole Polytechnique de léUniversité de Tours
Gilles Venturini , Ecole Polytechnique de léUniversité de Tours
Fabien Picarougne , Ecole Polytechnique de léUniversité de Tours
Christiane Guinot , C.E.R.I.E.S.
pp. 777-778

A Dynamic Reasoning Architecture for Computer Network Management (Abstract)

L. Gatani , Università di Palermo
G. Lo Presti , Università di Palermo
S. Gaglio , Università di Palermo and ICAR - C.N.R.
G. Lo Re , Università di Palermo and ICAR - C.N.R.
A. Urso , ICAR - C.N.R.
pp. 779-781

Modeling, Analysis and Visualization of Uncertainty in the Battlespace (PDF)

Hua Wang , University of Connecticut
Qunhua Zhao , University of Connecticut
Bruce McQueary , Securboration, Inc.
Eugene Santos Jr. , University of Connecticut
Lee Krause , Securboration, Inc.
pp. 782-783

A Deterministic Method for Initializing K-Means Clustering (Abstract)

Jennifer Dy , Northeastern University
Ting Su , Northeastern University
pp. 784-786
Author Index

Author Index (PDF)

pp. 787-789
97 ms
(Ver 3.1 (10032016))