| Message from the General Chair |
| Message from the Program Chair |
| Organizing Committee |
| Program Committee |
| Keynote Speeches |
| Knowledge Discovery in Multiple Databases / Xindong Wu |
| Machine Learning for Personalized Wireless Portals / Michael J. Pazzani |
| Detecting and Mitigating Security Anomaliies / Mladen Vouk |
| Data Mining - I / Session 1： |
| Mining Confident Minimal Rules with Fixed-Consequents / I. Rahal ; D. Ren ; W. Wu ; W. Perrizo |
| Flow Miner: Finding Flow Patterns in Spatio-Temporal Databases / J. Wang ; W. Hsu ; M. Lee |
| A Vertical Outlier Detection Algorithm with Clusters as By-Product |
| Identifying Variable-Length Meaningful Phrases with Correlation Functions / H.-R. Kim ; P. Chan |
| Optimization - I / Session 2： |
| Optimization of Bounds in Temporal Flexible Planning with Dynamic Controllability / B. Wah ; D. Xin |
| Empirical Evaluation of Optimized Stacking Configurations / A. Ledezma ; R. Aler ; A. Sanchis ; D. Borrajo |
| MetaIP - A New Approach to Combinatorial Optimization: Case Studies / Y. Li ; A. Lim |
| Reactive Prohibition-Based Ant Colony Optimization (RPACO): A New Parallel Architecture for Constrained Clique Sub-Graphs / S. Youssef ; D. Elliman |
| SAT/Search Algorithms - I / Session 3： |
| Using Directed Acyclic Graphs to Coordinate Propagation and Search for Numerical Constraint Satisfaction Problems / X.-H. Vu ; H. Schichl ; D. Sam-Haroud |
| SAT Based BDD Solver for Quantified Boolean Formulas / G. Audemard ; L. Sais |
| Practically Handling Some Configuration Isomorphisms / L. Henocque ; N. Prcovic |
| Scalable Distributed Depth-First Search with Greedy Work Stealing / J. Jaffar ; A. Santosa ; R. Yap ; K. Zhu |
| Machine Learning - I / Session 4： |
| A Coverage Based Ensemble Algorithm (CBEA) for Streaming Data / J. Rushing ; S. Graves ; E. Criswell ; A. Lin |
| Distilling Classification Models from Cross Validation Runs: An Application to Mass Spectrometry / A. Kalousis ; J. Prados ; J.-C. Sanchez ; L. Allard ; M. Hilario |
| Comparative Analysis of Two Associative Memory Neural Networks / A. Cronin ; O. McEnery ; T. Kechadi ; F. Geiselbrechtinger |
| An Empirical Evaluation of Interval Estimation for Markov Decision Processes / A. Strehl ; M. Littman |
| Data Mining - II / Session 5： |
| Towards Real-Time Obstacle Detection Using a Hierarchical Decomposition Methodology for Stereo Matching with a Genetic Algorithm / Y. Ruichek ; H. Issa ; J. Postaire ; J. Burie |
| Emulating a Cooperative Behavior in a Generic Association Rule Visualization Tool / S. Yahia ; E. Nguifo |
| A Scalable Algorithm for Mining Maximal Frequent Sequences Using Sampling / C. Luo ; S. Chung |
| Cultural Algorithms: Modeling of How Cultures Learn to Solve Problems / R. Reynolds ; B. Peng |
| Software Engineering with Computational Intelligence / Session 6： |
| Automated Test Data Generation Using MEA-Graph Planning / M. Gupta ; F. Bastani ; L. Khan ; I.-L. Yen |
| Semi-Supervised Learning for Software Quality Estimation / N. Seliya ; T. Khoshgoftaar ; S. Zhong |
| Extract Rules from Software Quality Prediction Model Based on Neural Network / Q. Wang ; J. Zhu ; B. Yu |
| Using Fuzzy Theory for Effort Estimation of Object-Oriented Software / M. Braz ; S. Vergilio |
| Human Perception of Software Complexity: Knowledge Discovery from Software Data / M. Reformat ; P. Musiek ; V. Wu ; N. Pizzi |
| Information Retrieval - I / Session 7： |
| Giving Temporal Order to News Corpus / H. Uejima ; T. Miura ; I. Shioya |
| An Information Retrieval System for the Analysis of Systematic Defects in VLSI / D. DeMaris ; D. Maynard ; B. Reuter |
| CoIRS: Cluster-Oriented Image Retrieval System / H. Lotfy ; A. Elmaghraby |
| SAT/Search Algorithms - II / Session 8： |
| A Time-Space Trade-Off for Constraint Networks Decomposition / P. Jegou ; C. Terrioux |
| Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints / S. Bistarelli ; E. Freuder ; B. O'Sullivan |
| Hidden Structure in Unsatisfiable Random 3-SAT: An Empirical Study / I. Lynce ; J. Marques-Silva |
| Constraint Satisfaction Problems: Backtrack Search Revisited / A. Chmeiss |
| Machine Learning - II / Session 9： |
| YaDT: Yet another Decision Tree Builder / S. Ruggieri |
| Reduced Ensemble Size Stacking / N. Rooney ; D. Patterson ; C. Nugent |
| An Extended Kernel for Generalized Multiple-Instance Learning / Q. Tao ; S. Scott ; N. Vinodchandran ; T. Takeo ; B. Mueller |
| Data Driven Automatic Model Selection and Parameter Adaptation - A Case Study for Septic Shock / R. Brause |
| Planning & Scheduling / Session 10： |
| A Prioritized-Based Approach to Handling Conflicts in Access Control / S. Benferhat ; R. El Baida |
| VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL / R. Howey ; D. Long ; M. Fox |
| Solving the Selecting and Scheduling Satellite Photographs Problem with a Consistent Neighborhood Heuristic / D. Habet ; M. Vasquez |
| Focussed Propagation of MDPs for Path Planning / D. Ferguson ; A. Stentz |
| Intelligent Image Analysis - I / Session 11： |
| Automatic Heliothis Zea Classification Using Image Analysis / T. Patten ; W. Li ; G. Bebis ; M. Freeman |
| A Stochastic Optimization Scheme for Automatic Registration of Aerial Images / S. Makrogiannis ; N. Bourbakis ; S. Borek |
| Efficient Image Segmentation by Mean Shift Clustering and MDL-Guided Region Merging / Q. Luo |
| Motion Analysis with Application to Assistive Vision Technology |
| Data Mining - III / Session 12： |
| A Hybrid Approach for Mining Maixmal Hyperclique Patterns / Y. Huang ; H. Xiong ; Z. Zhang |
| Mining Decision Rules from Deterministic Finite Automata / F. Jacquenet ; M. Sebban ; G. Valetudie |
| Systematic Assessment of High-Throughput Experimental Data for Reliable Protein Interactions Using Network Topology / J. Chen ; S.-K. Ng |
| Noise Identification with the k-Means Algorithm / W. Tang |
| Evolutionary Computation / Session 13： |
| Analysing the Effects of Combining Fitness Scaling and Inversion in Genetic Algorithms / S. Hill ; J. Newell ; C. O'Riordan |
| GP-Lab: The Genetic Programming Laboratory / W. Glaholt ; D. Zhang |
| Multi-Objective Genetic Algorithm Based Approach for Optimizing Fuzzy Sequential Patterns / M. Kaya ; R. Alhajj |
| Visualization Tool for a Terrain-Based Genetic Algorithm / V. Gordon ; J. Thein |
| Agent-Based Systems / Session 14： |
| Multi-Agent Opportunistic Planning and Plan Execution / J. Lawton ; C. Domshlak |
| An Adaptive Strategy for Trust/Honesty Model in Multi-Agent Semi-Competitive Environments / K.-m. Lam ; H.-f. Leung |
| A Swarm Approach for Emission Sources Localization / X. Cui ; C. Hardin ; R. Ragade |
| A Reactive Multi-Agent System for Localisation and Tracking in Mobile Robotics / F. Gechter ; V. Chevrier ; F. Charpillet |
| Improving Coordination with Communication in Multi-Agent Reinforcement Learning / D. Szer |
| Knowledge Representation and Management - I / Session 15： |
| Theory and Semantic Refinement of Bridge Ontology Based on Multi-Ontologies / B. Xu ; P. Wang ; J. Lu ; D. Kang |
| A Logic-Based Approach for Query Refinement in Ontology-based Information Retrieval Systems / N. Stojanovic ; L. Stojanovic |
| Combining Multiple Inclusion Representations in Numerical Constraint Propagation / B. Faltings |
| Consistency of Test Cases in Validation of Bayesian Knowledge-Bases / E. Santos Jr. ; H. Dinh |
| Intelligent Image Analysis - II / Session 16： |
| Image Chromatic Adaptation Using ANNs for Skin Color Adaptation / P. Kakumanu ; R. Bryll ; S. Panchanathan |
| Illumination Invariant Face Recognition Based on Neural Network Ensemble / W.-J. Li ; C.-J. Wang ; D.-X. Xu ; S.-F. Chen |
| Image Texture Representation and Retrieval Based on Power Spectral Histograms / C.-j. Wang ; Y.-b. Yang ; W.-j. Li |
| SAT/Search Algorithms - III / Session 17： |
| Nonchronological Backtracking in Stochastic Boolean Satisfiability / S. Majercik |
| N-to-2-Space Mapping for Visualization of Search Algorithm Performance / M. Kadluczka ; P. Nelson ; T. Tirpak |
| Meta-Heuristics for Robust Graph Coloring Problem / F. Wang |
| Adapting the Large Neighborhood Search to Effectively Solve Pickup and Delivery Problems with Time Windows / V. Tam ; M. Kwan |
| Information Retrieval - II / Session 18： |
| Path-Augmented Keyword Search for XML Documents / X. Wu |
| An Approach for Ontology-Enhanced Query Refinement in Information Portals |
| A Hybrid Approach to Concept Extraction and Recognition-Based Matching in the Domain of Human Resources / D. Crow ; J. DeSanto |
| SAT/Search Algorithms - IV / Session 19： |
| Guiding Real-World SAT Solving with Dynamic Hypergraph Separator Decomposition / P. van Beek |
| Backjump-Based Techniques versus Conflict-Directed Heuristics / C. Lecoutre ; F. Boussemart ; F. Hemery |
| Another SAT to CSP Conversion / O. Roussel |
| Toward Good Elimination Orders for Symbolic SAT Solving / J. Huang ; A. Darwiche |
| Unsupervised and Semi-Supervised Learning - I / Session 20： |
| Determining the Number of Clusters/Segments in Hierarchical Clustering/Segmentation Algorithms / S. Salvador |
| Efficient Learning of Hierarchical Latent Class Models / N. Zhang ; T. Kocka |
| Democratic Co-Learning / Y. Zhou ; S. Goldman |
| Knowledge Representation & Management - II / Session 21： |
| Exploring the Relationship between Knowledge and Algorithm Performance in Discrete Optimization / X. Zhong ; R. McCartney |
| Quartet Based Phylogeny Reconstruction with Answer Set Programming / G. Wu ; G. Lin ; J.-H. You |
| Ontology Based Object Learning and Recognition: Application to Image Retrieval / N. Maillot ; M. Thonnat ; C. Hudelot |
| Machine Learning - III / Session 22： |
| Mode Committee: A Novel Ensemble Method by Clustering and Local Learning / Z. Xie |
| An Improved Hidden Markov Model for Transmembrane Topology Prediction / R. Kahsay ; L. Liao ; G. Gao |
| Learning Multi-Time Delay Gene Network Using Bayesian Network Framework / T.-F. Liu ; W.-K. Sung ; A. Mittal |
| Boosting Constraint Satisfaction Using Decision Trees / A. Ferguson |
| A Factor Tree Inference Algorithm for Bayesian Networks and Its Application / W. Liao ; W. Zhang ; Q. Ji |
| Unsupervised and Semi-Supervised Learning - II / Session 23： |
| XML Clustering by Principal Component Analysis / J. Liu ; K. Herbert |
| An Effective Support Vector Machines (SVMs) Performance Using Hierarchical Clustering / M. Awad ; I-L. Yen |
| Distinguishing Mislabeled Data from Correctly Labeled Data in Classifier Design / S. Venkataraman ; D. Metaxes ; D. Fradkin ; C. Kulikowski ; I. Muchnik |
| An Efficient Density Based Clustering Algorithm for Large Databases / Y. El-Sonbaty ; M. Ismail ; M. Farouk |
| SAT/Search Algorithms - V / Session 24： |
| Domain Specific Searches Using Conceptual Spectra / D. Bonino ; F. Corno ; L. Farinetti |
| K-Group A* for Multiple Sequence Alignment with Quasi-Natural Gap Costs / R. Zhou ; E. Hansen |
| A Framework for Guided Complete Search for Solving Constraint Satisfaction Problems and Some of Its Instances / S. Fung ; D. Zheng ; J. Lee ; H. Chun |
| A Smoothed Dynamic Tabu Search Embedded GRASP for m-VRPTW |
| Machine Learning - IV / Session 25： |
| Practical Aspects of Efficient Forward Selection in Decomposable Graphical Models / S. Altmueller ; R. Haralick |
| CORMS AI: Continuous Operational Real-Time Monitoring System / H. Vafaie ; C. Cecere |
| Data Acquisition with Active and Impact-Sensitive Instance Selection / X. Zhu |
| Towards Understanding the Role of Learning Models in the Dynamics of the Minority Game / R. Araujo ; L. Lamb |
| Optimization - II / Session 26： |
| Solving Conditional and Composite Temporal Constraints / M. Mouhoub ; A. Sukpan |
| Integration of Lower Bound Estimates in Pseudo-Boolean Optimization / V. Manquinho |
| Integrating Artificial Intelligence, Argumentation and Game Theory to Develop an Online Dispute Resolution Environment / E. Bellucci ; A. Lodder ; J. Zeleznikow |
| Poster / Session 27： |
| A Defeasible Logic Programming System for the Web / G. Antoniou ; A. Bikakis ; G. Wagner |
| A Study of Selective Neighborhood-Based Naive Bayes for Efficient Lazy Learning / Q. Zhang |
| Exploiting Systemic Biological Modeling for Trigger Based Adaptation in Networked Intelligent Multi-Agent Systems / A. Bansal |
| Events Extraction and Classification for Arabic Information Retrieval Systems / S. Abuleil ; M. Evens |
| Textured Image Retrieval by the Modal Analysis of Quantized Spectral Point Patterns / C. Barcelos ; M. Ferreira ; M. Rodrigues |
| Supervised Clustering - Algorithms and Benefits / C. Eick ; N. Zeidat ; Z. Zhao |
| On Data Clustering with a Flock of Artificial Agents / F. Picarougne ; H. Azzag ; G. Venturini ; C. Guinot |
| A Dynamic Reasoning Architecture for Computer Network Management / S. Gaglio ; L. Gatani ; G. Lo Presti ; G. Lo Re ; A. Urso |
| Modeling, Analysis and Visualization of Uncertainty in the Battlespace / B. McQueary ; L. Krause ; H. Wang ; Q. Zhao |
| A Deterministic Method for Initializing K-Means Clustering / T. Su ; J. Dy |
| Author Index |
| Message from the General Chair |
| Message from the Program Chair |
| Organizing Committee |
図書
