This book constitutes the refereed proceedings of the 8th Mexican International Conference on Artificial Intelligence, MICAI 2009, held in Guanajuato, Mexico, in November 2009.
The 63 revised full papers presented together with one invited talk were carefully reviewed and selected from 215 submissions. The papers are organized in topical sections on logic and reasoning, ontologies, knowledge management and knowledge-based systems, uncertainty and probabilistic reasoning, natural language processing, data mining, machine learning, pattern recognition, computer vision and image processing, robotics, planning and scheduling, fuzzy logic, neural networks, intelligent tutoring systems, bioinformatics and medical applications, hybrid intelligent systems and evolutionary algorithms.
Invited Talks.- Semantic Management of Heterogeneous Documents.- Logic and Reasoning.- Possibilistic Well-Founded Semantics.- Ontologies, Knowledge Management and Knowledge-Based Systems.- ACO for Solving the Distributed Allocation of a Corporate Semantic Web.- Implementing PS-Merge Operator.- Uncertainty and Probabilistic Reasoning.- Generating Explanations Based on Markov Decision Processes.- Compiling Multiply Sectioned Bayesian Networks: A Comparative Study.- Cosine Policy Iteration for Solving Infinite-Horizon Markov Decision Processes.- Transformer Diagnosis Using Probabilistic Vibration Models.- Intelligent Aircraft Damage Assessment, Trajectory Planning, and Decision-Making under Uncertainty.- A Scrabble Heuristic Based on Probability That Performs at Championship Level.- Natural Language Processing.- From Semantic Roles to Temporal Information Representation.- Dependency Language Modeling Using KNN and PLSI.- Supervised Recognition of Age-Related Spanish Temporal Phrases.- Using Nearest Neighbor Information to Improve Cross-Language Text Classification.- Ranking Refinement via Relevance Feedback in Geographic Information Retrieval.- Data Mining.- A Complex Networks Approach to Demographic Zonification.- Multiscale Functional Autoregressive Model for Monthly Sardines Catches Forecasting.- Discretization of Time Series Dataset with a Genetic Search.- Mining Social Networks on the Mexican Computer Science Community.- Machine Learning.- Probabilistic Graphical Markov Model Learning: An Adaptive Strategy.- Support Vector Optimization through Hybrids: Heuristics and Math Approach.- Pattern Recognition.- On-Line Signature Verification Based on Genetic Optimization and Neural-Network-Driven Fuzzy Reasoning.- Diagnosis of Cervical Cancer Using the Median M-Type Radial Basis Function (MMRBF) Neural Network.- Quasi-invariant Illumination Recognition for Appearance-Based Models, Taking Advantage of Manifold Information and Non-uniform Sampling.- Computer Vision and Image Processing.- Automatic Camera Localization, Reconstruction and Segmentation of Multi-planar Scenes Using Two Views.- The Nonsubsampled Contourlet Transform for Enhancement of Microcalcifications in Digital Mammograms.- Denoising Intra-voxel Axon Fiber Orientations by Means of ECQMMF Method.- A Profilometric Approach for 3D Reconstruction Using Fourier and Wavelet Transforms.- Vector Quantization Algorithm Based on Associative Memories.- Robotics.- A Two-Stage Relational Reinforcement Learning with Continuous Actions for Real Service Robots.- People Detection by a Mobile Robot Using Stereo Vision in Dynamic Indoor Environments.- Planning and Scheduling.- SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints.- Phase Transition in the Bandwidth Minimization Problem.- Planning for Conditional Learning Routes.- A New Backtracking Algorithm for Constructing Binary Covering Arrays of Variable Strength.- Pipelining Memetic Algorithms, Constraint Satisfaction, and Local Search for Course Timetabling.- Fuzzy Logic.- Fuzzy Relational Compression Applied on Feature Vectors for Infant Cry Recognition.- Parametric Operations for Digital Hardware Implementation of Fuzzy Systems.- Fuzzy Logic for Combining Particle Swarm Optimization and Genetic Algorithms: Preliminary Results.- Optimization of Type-2 Fuzzy Integration in Modular Neural Networks Using an Evolutionary Method with Applications in Multimodal Biometry.- Neural Networks.- st-Alphabets: On the Feasibility in the Explicit Use of Extended Relational Alphabets in Classifier Systems.- Comparison of Neural Networks and Support Vector Machine Dynamic Models for State Estimation in Semiautogenous Mills.- Using Wolfe’s Method in Support Vector Machines Learning Stage.- Direct Adaptive Soft Computing Neural Control of a Continuous Bioprocess via Second Order Learning.- Intelligent Tutoring Systems.- A Kohonen Network for Modeling Students’ Learning Styles in Web 2.0 Collaborative Learning Systems.- Teaching-Learning by Means of a Fuzzy-Causal User Model.- Inferring Knowledge from Active Learning Simulators for Physics.- Bioinformatics and Medical Applications.- Leukocyte Recognition Using EM-Algorithm.- An Automaton for Motifs Recognition in DNA Sequences.- Hybrid Intelligent Systems.- A New Method for Optimal Cropping Pattern.- MultiQuenching Annealing Algorithm for Protein Folding Problem.- Outlier Detection with a Hybrid Artificial Intelligence Method.- Wind Speed Forecasting Using a Hybrid Neural-Evolutive Approach.- Hybridization of Evolutionary Mechanisms for Feature Subset Selection in Unsupervised Learning.- Evolutionary Algorithms.- A Particle Swarm Optimization Method for Multimodal Optimization Based on Electrostatic Interaction.- Ranking Methods for Many-Objective Optimization.- Why Unary Quality Indicators Are Not Inferior to Binary Quality Indicators.- Using Copulas in Estimation of Distribution Algorithms.- Redistricting by Square Cells.- Finding Minimal Addition Chains with a Particle Swarm Optimization Algorithm.- Linear Wind Farm Layout Optimization through Computational Intelligence.- Building Blocks and Search.- An Analysis of Recombination in Some Simple Landscapes.- An Empirical Investigation of How Degree Neutrality Affects GP Search.
Overview
This book constitutes the refereed proceedings of the 8th Mexican International Conference on Artificial Intelligence, MICAI 2009, held in Guanajuato, Mexico, in November 2009.
The 63 revised full papers presented together with one invited talk were carefully reviewed and selected from 215 submissions. The papers are organized in topical sections on logic and reasoning, ontologies, knowledge management and knowledge-based systems, uncertainty and probabilistic reasoning, natural...