Developments in Applied Artificial Intelligence : 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings

The refereed proceedings of the 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, held in Loughborough, UK, in June 2003.

The 81 revised full papers presented were carefully reviewed and selected from more than 140 submissions. Among the topics addressed are soft computing, fuzzy logic, diagnosis, knowledge representation, knowledge management, automated reasoning, machine learning, planning and scheduling, evolutionary computation, computer vision, agent systems, algorithmic learning, tutoring systems, and financial analysis.

System Integration.- Intelligent Operational Management and the Concept of Integration.- Ontology-Based Knowledge Fusion Framework Using Graph Partitioning.- Deductive and Inductive Reasoning for Processing the Claims of Unsatisfied Customers.- Genetic Algorithms.- Preserving Diversity in Particle Swarm Optimisation.- A Genetic Algorithm for 1,5 Dimensional Assortment Problems with Multiple Objectives.- How to Create Priorities in Genetics.- Vision and Signal Analysis.- Mapping Virtual Objects into Real Scene.- Color Image Segmentation in Color and Spatial Domain.- Multiple Signal Fault Detection Using Fuzzy Logic.- Intelligent Systems.- Clustering On-Line Dynamically Constructed Handwritten Music Notation with the Self-organising Feature Map.- Cellular Automata Cryptography Using Reconfigurable Computing.- Pitch-Dependent Musical Instrument Identification and Its Application to Musical Sound Ontology.- Learning.- Automated Case Base Creation and Management.- The Study on Algorithm AE11 of Learning from Examples.- Applying Semantic Links for Classifying Web Pages.- Data Mining.- Learning Joint Coordinated Plans in Multi-agent Systems.- Extracting Causal Nets from Databases.- Extraction of Meaningful Tables from the Internet Using Decision Trees.- Knowlede Management.- Theory and Algorithm for Rule Base Refinement.- Developing Constraint-Based Applications with Spreadsheets.- Diagnosis of Dynamic Systems: A Knowledge Model That Allows Tracking the System during the Diagnosis Process.- A Rigorous Approach to Knowledge Base Maintenance.- Modelling.- Evaluation of Intelligent Systems for the Utilisation of HAZOP Analysis Results.- State-Based Modelling in Hazard Identification.- Deriving Consensus for Conflict Data in Web-Based Systems.- Knowledge Based Support for the Authoring and Checking of Operating Procedures.- A Concept of Modeling PVC Batch Plant in Object Oriented Approach for Safety Analysis.- Vision.- Automatic Visual Inspection of Wooden Pallets.- Feature Extraction for Classification of Caenorhabditis Elegans Behavioural Phenotypes.- Measurement System of Traffic Flow Using Real-Time Processing of Moving Pictures.- Infrared Sensor Data Correction for Local Area Map Construction by a Mobile Robot.- Neural Networks.- An Improved Compound Gradient Vector Based Neural Network On-Line Training Algorithm.- Document Clustering Based on Vector Quantization and Growing-Cell Structure.- Using a Modified Counter-Propagation Algorithm to Classify Conjoint Data.- A Comparison of Corporate Failure Models in Australia: Hybrid Neural Networks, Logit Models and Discriminant Analysis.- Knowledge Based System.- An Ontology-Based Information Retrieval System.- A Bidders Cooperation Support System for Agent-Based Electronic Commerce.- SumTime-Turbine: A Knowledge-Based System to Communicate Gas Turbine Time-Series Data.- A Blackboard-Based Learning Intrusion Detection System: A New Approach.- Reasoning.- Developing a Goodness Criteria for Tide Predictions Based on Fuzzy Preference Ranking.- Debugging VHDL Designs Using Temporal Process Instances.- Efficient Pattern Matching for Non-strongly Sequential Term Rewriting Systems.- Agent Based Systems.- A Policy Based Framework for Software Agents.- Intelligent Support for Solving Classification Differences in Statistical Information Integration.- Supporting Collaborative Product Design in an Agent Based Environment.- Machine Learning.- Fast Feature Selection by Means of Projections.- Hybrid Least-Squares Methods for Reinforcement Learning.- HMM/ANN System for Vietnamese Continuous Digit Recognition.- UMAS Learning Requirement for Controlling Network Resources.- Intelligent Systems.- Dialogue Management in an Automatic Meteorological Information System.- Agent-Based Implementation on Intelligent Instruments.- Granules and Reasoning Based on Granular Computing.- Neural Networks.- A Comparison of the Effectiveness of Neural and Wavelet Networks for Insurer Credit Rating Based on Publicly Available Financial Data.- A New System Based on the Use of Neural Networks and Database for Monitoring Coal Combustion Efficiency.- Application of Artificial Neural Network for Identification of Parameters of a Constitutive Law for Soils.- Visualising the Internal Components of Networks.- Data Mining.- Bayesian Web Document Classification through Optimizing Association Word.- The Use of a Supervised k-Means Algorithm on Real-Valued Data with Applications in Health.- SymCure: A Model-Based Approach for Fault Management with Causal Directed Graphs.- Heuristic Search.- Efficient Initial Solution to Extremal Optimization Algorithm for Weighted MAXSAT Problem.- Adaptive Resource Location in a Peer-to-Peer Network.- Computing Lower Bound for MAX-CSP Problems.- Efficient Pre-processing for Large Window-Based Modular Exponentiation Using Genetic Algorithms.- Genetic Algorithms.- Improving Genetic Algorithms’ Efficiency Using Intelligent Fitness Functions.- Clustering Hoax Fire Calls Using Evolutionary Computation Technology.- Packet Transmission Optimisation Using Genetic Algorithms.- Robotics.- Design and Implementation of Personality of Humanoids in Human Humanoid Non-verbal Interaction.- Improving the Predictive Power of AdaBoost: A Case Study in Classifying Borrowers.- Proposition of the Quality Measure for the Probabilistic Decision Support System.- Using Local Information to Guide Ant Based Search.- Problem Solving.- The Generalised Method for Solving Problems of the DEDS Control Synthesis.- Nurse Rostering Using Constraint Programming and Meta-level Reasoning.- An Application of Genetic Algorithm to Hierarchical Configuration of ATM Internetworking Domain with a Special Constraint for Scalable Broadcasting.- Speech.- Faster Speaker Enrollment for Speaker Verification Systems Based on MLPs by Using Discriminative Cohort Speakers Method.- Improving the Multi-stack Decoding Algorithm in a Segment-Based Speech Recognizer.- Genetic Algorithms.- A Parallel Approach to Row-Based VLSI Layout Using Stochastic Hill-Climbing.- An Optimal Coalition Formation among Buyer Agents Based on a Genetic Algorithm.- Application of Cepstrum Algorithms for Speech Recognition.- GIS Systems.- Maintaining Global Consistency of Temporal Constraints in a Dynamic Environment.- Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases.- The Object Event Calculus and Temporal Geographic Information Systems.