MICAI 2008

Invited Papers.- Heuristic Methods for Hypertree Decomposition.- Nonlinear Bayesian Filters for Training Recurrent Neural Networks.- Logic and Reasoning.- QuBIS: An (In)complete Solver for Quantified Boolean Formulas.- Strength Two Covering Arrays Construction Using a SAT Representation.- A New Framework for Local Belief Revision.- Finding Good Starting Points for Solving Nonlinear Constrained Optimization Problems by Parallel Decomposition.- Knowledge-Based Systems, Knowledge Representation and Acquisition.- An Early Warning System for the Prediction of Criminal Careers.- Comparing Distance Measures with Visual Methods.- Ontologies.- Semantic Annotation and Question Answering of Statistical Graphs.- Towards a Methodology to Conceptualize the Geographic Domain.- Natural Language Processing.- Effect of Preprocessing on Extractive Summarization with Maximal Frequent Sequences.- Text Summarization by Sentence Extraction Using Unsupervised Learning.- Spanish Nested Named Entity Recognition Using a Syntax-Dependent Tree Traversal-Based Strategy.- Question/Answering Clarification Dialogues.- Using Graphs for Shallow Question Answering on Legal Documents.- Two Proposals of a QA Answer Extraction Module Based on Semantic Roles.- A Misclassification Reduction Approach for Automatic Call Routing.- Spanish Temporal Expressions: Some Forms Reinforced by an Adverb.- A Soundex-Based Approach for Spoken Document Retrieval.- Textual Entailment Recognition Based on Structural Isomorphism.- Machine Learning.- On-Line Modeling Via Fuzzy Support Vector Machines.- Reinforcement Learning with Markov Logic Networks.- Learning the Filling Policy of a Biodegradation Process by Fuzzy Actor-Critic Learning Methodology.- INDIE: An Artificial Immune Network for On-Line Density Estimation.- Learning Probability Densities of Optimization Problems with Constraints and Uncertainty.- Pattern Recognition.- Pattern Classification Based on Conformal Geometric Algebra and Optimization Techniques.- Automatic Classification of Three-Phase Flow Patterns of Heavy Oil in a Horizontal Pipe Using Support Vector Machines.- Wavelets Based on Atomic Function Used in Detection and Classification of Masses in Mammography.- The Effect of Repeated Measurements on Bayesian Decision Regions for Class Discrimination of Time-Dependent Biological Systems.- Data Mining.- Global Classifier for Confidential Data in Distributed Datasets.- Undecimated Wavelet Based Autoregressive Model for Anchovy Catches Forecasting.- Neural Networks.- Neural Processor as a Dynamic Power Manager for Digital Systems.- Tank Model Coupled with an Artificial Neural Network.- Feature Selection Using Artificial Neural Networks.- Composite Kernels for Support Vector Classification of Hyper-Spectral Data.- Genetic Algorithms.- A Constraint-Handling Genetic Algorithm to Power Economic Dispatch.- Using Genetic Fuzzy Algorithms to Model the Evolution of Climate Variables at San Jorge Gulf Area.- Digital Filters Using Adjacency Matrix Representation.- Using Hyper-heuristics for the Dynamic Variable Ordering in Binary Constraint Satisfaction Problems.- Optimal Design of Multiproduct Batch Plants under Imprecise Demand.- A Set of Test Cases for Performance Measures in Multiobjective Optimization.- Some Demonstrations about the Cardinality of Important Sets of Non-dominated Sets.- Looking Inside Particle Swarm Optimization in Constrained Search Spaces.- An Approach to Searching for Two-Dimensional Cellular Automata for Recognition of Handwritten Digits.- Hybrid Intelligent Systems.- Prediction of Pediatric Risk Using a Hybrid Model Based on Soft Computing Techniques.- Cell Formation with Alternative Routings and Capacity Considerations: A Hybrid Tabu Search Approach.- Fault Diagnosis of a Vehicle with Soft Computing Methods.- Hybridization of PSO and a Discrete Position Update Scheme Techniques for Manufacturing Cell Design.- Estimation of Parameters in Cox's Proportional Hazard Model: Comparisons between Evolutionary Algorithms and the Newton-Raphson Approach.- Gravitational Fuzzy Clustering.- Computer Vision and Image Processing.- A Fuzzy Approach to Skin Color Detection.- To Boldly Split: Partitioning Space Filling Curves by Markov Chain Monte Carlo Simulation.- Impulse Denoising Using Fuzzy and Directional Processing on a DSP.- A Motion Planning Strategy for Rapidly Finding an Object with a Mobile Manipulator in 3-D Environments.- Extraction and Specialization of Geo-spatial Objects in Geo-images Using Semantic Compression Algorithm.- A Hybrid Rough K-Means Algorithm and Particle Swarm Optimization for Image Classification.- Robotics.- Monocular Model-Based 3D Location for Autonomous Robots.- A Robust Iterative Closest Point Algorithm with Augmented Features.- Multi-robot Exploration and Mapping Using Self Biddings and Stop Signals.- Rhythmic Locomotion Control of Humanoid Robot.- Planning and Scheduling.- Strong Probabilistic Planning.- Parametric Algorithms for Cyclic Scheduling Problems with Applications to Robotics.- Solving a School Timetabling Problem Using a Bee Algorithm.- An Efficient Simulated Annealing Algorithm for Feasible Solutions of Course Timetabling.- Uncertainty and Probabilistic Reasoning.- On the Definition of Essential and Contingent Properties of Subjective Belief Bases.- Some Properties of Aggregated Distributions over Expected Values.- Fuzzy Logic.- Generators of Fuzzy Operations for Hardware Implementation of Fuzzy Systems.- Quantitative Possibilistic Networks: Handling Interventions and Ascribing Causality.- Big Bang Big Crunch Optimization Method Based Fuzzy Model Inversion.- Choquet Integrals and OWA Criteria as a Natural (and Optimal) Next Step after Linear Aggregation: A New General Justification.- Intelligent Tutoring Systems.- Building an Affective Model for Intelligent Tutoring Systems with Base on Teachers' Expertise.- A Knowledge Discovery Framework for Learning Task Models from User Interactions in Intelligent Tutoring Systems.- Enhancing Teams with PANCHO to Improve the Training Experience.- Authoring Neuro-fuzzy Tutoring Systems for M and E-Learning.- Combining Concept Maps and Petri Nets to Generate Intelligent Tutoring Systems: A Possible Approach.- Multi-agent Systems and Distributed AI.- Cooperation Strategies for Pursuit Games: From a Greedy to an Evolutive Approach.- Multiagent-Based Portfolio Simulation Using Neural Networks.- Managing Conflicting Beliefs with Fuzzy Trust on the Semantic Web.- Optimal Agendas and Procedures for N-Issue Negotiation: An Inductive Definition.- Toward an AgentSpeak(L) Theory of Commitment and Intentional Learning.- Collective Pathfinding in Dynamic Environments.- A Research in Agent Negotiation Forms Dynamic Supply Chain.- BROA: A Bayesian Robotic Agents Architecture.- Chaos and Budworm Dynamics of Agent Interactions: A Biologically-Inspired Approach to Digital Ecosystems.- The User's Human Values Scale Methodology in Recommender Systems from Several Information Sources of the Organization.- Intelligent Organizations.- ANT Based Routing Algorithm over a HAP Network with Integrated Services.- ECA-Rule Visual Programming for Ubiquitous and Nomadic Computing.- Bioinformatics and Medical Applications.- SERS and ANFIS: Fast Identification of the Presence of Retrovirus in CD4 Cells, Cause of AIDS.- A Radon Transform Based Approach for Extraction of Blood Vessels in Conjunctival Images.- Identification and Quantification of Pulmonary Emphysema through Pseudocolors.- Computer-Guided Laparoscopic Training with Application of a Fuzzy Expert System.- Structural Sensitivity of Neural and Genetic Networks.- Applications.- Study of Signalized Intersection Crashes Using Artificial Intelligence Methods.- Fault Diagnosis of Industrial Systems with Bayesian Networks and Neural Networks.- A Comparison between Back Propagation and the Maximum Sensibility Neural Network to Surface Roughness Prediction in Machining of Titanium (Ti 6Al 4V) Alloy.- Comparing Three Simulated Strategies for Cancer Monitoring with Nanorobots.