General Chairs' Foreword |
Message from the Program Chair |
Vice Chairs |
Program Committee |
Logic and Reasoning / Session A1: |
Multi-Resolution on Compressed Sets of Clauses / P. Chatalic ; L. Simon |
An Assumptive Logic Programming Methodology for Parsing / K. Voll ; T. Yeh ; V. Dahl |
Belief Revision and Possibilistic Logic for Adaptive Information Filtering Agents / R. Lau ; A. Hofstede ; P. Bruza ; K. Wong |
Machine Learning / Session B1: |
A Visualization Tool for Interactive Learning of Large Decision Trees / T. Nguyen ; T. Ho ; H. Shimodaira |
Function Approximation Based Multi-Agent Reinforcement Learning / O. Abul ; F. Polat ; R. Alhajj |
Knowledge Pruning in Decision Trees / I. Shioya ; T. Miura |
Software and Knowledge Engineering / Session C1: |
Using Latent Semantic Analysis to Identify Similarities in Source Code to Support Program Understanding / J. Maletic ; A. Marcus |
Modeling Software Quality: The Software Measurement Analysis and Reliability Toolkit / T. Khoshgoftaar ; E. Allen ; J. Busboom |
JADE-AI Support for Debugging Java Programs / C. Mateis ; M. Stumptner ; D. Wieland ; F. Wotawa |
Data and Knowledge Mining / Session A2: |
Principles for Mining Summaries Using Objective Measures of Interestingness / R. Hilderman ; H. Hamilton |
From Data Mining to Rule Refining / E. Keedwell ; F. Bessler ; A. Narayanan ; D. Savic |
What's New? Using Prior Models as a Measure of Novelty in Knowledge Discovery / J. Ludwig ; G. Livingston ; E. Vozalis ; B. Buchanan |
Parallel Mining of Association Rules with a Hopfield Type Neural Network / K. Gaber ; M. Bahi ; T. El-Ghazawi |
Constraint Satisfaction and Optimization / Session B2: |
Implementing an Action Language Using a SAT Solver / H. Nabeshima ; K. Inoue ; H. Haneda |
About the Use of Local Consistency in Solving CSPs / A. Chmeiss ; L. Sais |
Using Heuristic-Based Optimizers to Handle the Personal Computer Configuration Problems / V. Tam ; K. Ma |
Neural Networks / Session C2: |
DGPS/INS Integration Using Neural Network Methodology / F. Ibrahim ; A. Tascillo ; N. Al-Holou |
Efficient Prediction of Interconnect Crosstalk Using Neural Networks / A. Ilumoka |
Identifying Causal Structure in a Biological Neural Network / A. Maida |
Multimedia and Image Processing / Session A3: |
A Synergistic Model for Interpreting Human Activities and Events from Video: A Case Study / N. Bourbakis ; G. Bebis ; J. Gattiker |
A Distributed Multimedia Knowledge Based Environment for Modeling over the Internet / S. Ryan ; A. Bansal ; T. Kapoor |
Texture Image Segmentation Method Based on Multi-Layer CNN / G. Liu ; S. Oe |
Strategies for Optimizing Image Processing by Genetic and Evolutionary Computation |
Planning and Scheduling / Session B3: |
Building Efficient Partial Plans Using Markov Decision Processes / P. Laroche |
Reasoning about Numeric and Symbolic Time Information / M. Mouhoub |
Heuristics for the Exam Scheduling Problem / F. Zhaohui ; A. Lim |
A Reactive Method for Real Time Dynamic Vehicle Routing Problem / K. Zhu ; K-L. Ong |
Knowledge-Based Systems / Session C3: |
Debugging Knowledge-Based Applications with a Generic Toolkit / S. Craw ; R. Boswell |
Tools for Intelligent Decision Support System Development in the Legal Domain / A. Stranieri ; J. Zeleznikow |
A Knowledge Based System: An Object Case Approach / G. Talens ; D. Boulanger ; I. Dedun |
Genetic Algorithms / Session A4: |
A Genetic Algorithm-Based System for Generating Test Programs for Microprocessor IP Cores / F. Corno ; M. Reorda ; G. Squillero ; M. Violante |
The Probably Approximately Correct (PAC) Population Size of a Genetic Algorithm / A. Hernandez-Aguirre ; B. Buckles ; A. Martinez-Alcantara |
GATree: Genetically Evolved Decision Trees / A. Papagelis ; D. Kalles |
Internet and The World Wide Web / Session B4: |
A New Statistical Method for Performance Evaluation of Search Engines / L. Li ; Y. Shang |
Searching and Classifying the Web Using Hyperlinks: A Logical Approach / J. Picard ; J. Savoy |
Reverse Mapping of Referral Links from Storage Hierarchy for Web Documents / C. Ding ; C.-H. Chi |
Robotics / Session C4: |
Cognitively Adequate Modeling of Spatial Reference in Human-Robot Interaction / R. Moratz ; K. Fischer |
Vision Based Localization for a Mobile Robot / F. Gechter ; F. Charpillet |
The N-Dimensional Projective Approach as a Tool for Spatial Reasoning / J. Pais ; C. Pinto-Ferreira |
Multi-Objective Retrieval of Object Pose from Video / A. Avanaki ; B. Hamidzadeh ; F. KossentiniSession A5: |
Object Tracking and Multimedia Augmented Transition Network for Video Indexing and Modeling / S.-C. Chen ; M.-L. Shyu ; C. Zhang ; R. Kashyap |
Using Bayesian Classifier in Relevant Feedback of Image Retrieval / Z. Su ; H. Zhang ; S. Ma |
Intelligent Content-Based Retrieval / C. Djeraba |
An Approach to Incremental SVM Learning Algorithm / R. Xiao ; J. Wang ; F. ZhangSession B5: |
Transforming Supervised Classifiers for Feature Extraction / B. Bursteinas ; J. Long |
Learning Methods for Online-Process Diagnosis / P. Feucht ; J. Zoellner ; K. Berns ; T. Zirzlaff ; O. Leisin |
Constrained Genetic Algorithms and Their Applications in Nonlinear Constrained Optimization / B. Wah ; Y.-X. ChenSession C5: |
Local Search Algorithm for the Compacted Cells Area Problem / D. Chia |
A Heuristic Search Based Factoring Tool / C. Davis ; C. Eick |
Soft Computing / Session A6: |
Interpretation of Self-Organizing Maps with Fuzzy Rules / M. Drobics ; W. Winiwarter ; U. Bodenhofer |
History Checking of Temporal Fuzzy Logic Formulas for Monitoring Behavior-Based Mobile Robots / K. Lamine ; F. Kabanza |
Fuzzy Cellular Automata: From Theory to Applications / M. Mraz ; N. Zimic ; I. Lapanja ; I. Bajec |
Database and Information Systems / Session B6: |
Interactive Generalization of a Translation Example Using Queries Based on a Semantic Hierarchy / Y. Akiba ; H. Nakaiwa ; S. Shirai ; Y. Ooyama |
Consistency Checking for Euclidean Spatial Constraints: A Dimension Graph Approach / X. Liu ; S. Shekhar ; S. Chawla |
Combining Models Across Algorithms and Samples for Improved Results / H. Vafaie ; D. Abbott ; M. Hutchins ; I. MatkovskySession C6: |
Basic Organization Structure Model for Cooperative Information Processing / W. Changying ; Y. Li ; C. Weiming ; X. Zhenning ; G. Yong |
Support Based Measures Applied to Ice Hockey Scoring Summaries / B. Kram ; J. Hall |
Meta-Constraints on Violations for Over Constrained Problems / T. Petit ; J.-C. Regin ; C. BessiereSession A7: |
Local Minimum Structures of Graph-Coloring Problems for Stochastic Constraint Satisfaction Algorithms / K. Mizuno ; S. Nishihara |
Combining Various Algorithms to Solve the Ship Berthing Problem / K.-S. Goh |
Self-Optimising CBR Retrieval / J. Jarmulak ; R. RoweSession B7: |
Efficient Defeasible Reasoning Systems / M. Maher ; A. Rock ; G. Antoniou ; D. Billington ; T. Miller |
Combining Heuristics for Default Logic Reasoning Systems / P. Nicolas ; F. Suabion ; I. Stephan |
Automated Reasoning on Monotonic Constraints / L. Bordeaux ; F. Benhamou |
Model Selection via Meta-Learning: A Comparative Study / A. Kalousis ; M. HilarioSession C7: |
The Application of a Machine Learning Tool to the Validation of an Air Traffic Control Domain Theory / M. West ; T. McCluskey |
Designing a Learning-Automata-Based Controller for Client/Server Systems: A Methodology / G. Papadimitriou ; A. Vakali ; A. Pomportsis |
Author Index |
General Chairs' Foreword |
Message from the Program Chair |
Vice Chairs |