MICAI 2005: Monterrey, Mexico

Knowledge Representation and Management

• Enrique Carlos Segura, Robin W. Whitty:
  Modelling Human Intelligence: A Learning Mechanism. 1-10
  
• Vianey Guadalupe Cruz Sánchez, Gerardo Reyes Salgado, Osslan Osiris Vergara-Villegas, Joaquín Pérez Ortega, Azucena Montes Rendón:
  Compilation of Symbolic Knowledge and Integration with Numeric Knowledge Using Hybrid Systems. 11-20
  
• Bernhard Heinemann:
  The Topological Effect of Improving Knowledge Acquisition. 21-30
  
• Ewa Madalinska-Bugaj, Witold Lukaszewicz:
  Belief Revision Revisited. 31-40
  
• Alejandro Peña Ayala, Humberto Sossa, Agustin Gutiérrez:
  Knowledge and Reasoning Supported by Cognitive Maps. 41-50
  
• Tiphaine Accary-Barbier, Sylvie Calabretto:
  Temporal Reasoning on Chronological Annotation. 51-60
  
• José H. Espinosa, Henry Lieberman:
  EventNet: Inferring Temporal Relations Between Commonsense Events. 61-69
  
• Miklos Nagy, Maria Vargas-Vera, Enrico Motta:
  Multi Agent Ontology Mapping Framework in the AQUA Question Answering System. 70-79
  
• Agustina Buccella, Alejandra Cechich, Nieves R. Brisaboa:
  A Three-Level Approach to Ontology Merging. 80-89
  
• Yassine Gargouri, Bernard Lefebvre, Jean Guy Meunier:
  Domain and Competences Ontologies and Their Maintenance for an Intelligent Dissemination of Documents. 90-97
  
• Carlos Iván Chesñevar, Ramón F. Brena, José-Luis Aguirre:
  Modelling Power and Trust for Knowledge Distribution: An Argumentative Approach. 98-108
  
• Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio:
  Application of ASP for Agent Modelling in CSCL Environments. 109-118
  

Logic and Constraint Programming

• Pablo Sáez:
  Deductive Systems' Representation and an Incompleteness Result in the Situation Calculus. 119-131
  
• Guillermo Morales-Luna:
  Geometric Aspects Related to Solutions of #kSAT. 132-141
  
• Jerusa Marchi, Guilherme Bittencourt, Laurent Perrussel:
  A Syntactical Approach to Belief Update. 142-151
  
• Yanhui Li, Jianjiang Lu, Baowen Xu, Dazhou Kang, Jixiang Jiang:
  A Fuzzy Extension of Description Logic ALCH. 152-161
  
• Carlos Castro, Eric Monfroy, Christian Figueroa, Rafael Meneses:
  An Approach for Dynamic Split Strategies in Constraint Solving. 162-174
  
• Tun Li, Yang Guo, Sikun Li, Dan Zhu:
  Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions. 175-184
  
• Hugo Terashima-Marín, Juan Manuel Tavernier-Deloya, Manuel Valenzuela-Rendón:
  Scheduling Transportation Events with Grouping Genetic Algorithms and the Heuristic DJD. 185-194
  
• José Rodríguez, Abdellah Salhi:
  Radial Search: A Simple Solution Approach to Hard Combinatorial Problems. 195-203
  

Uncertainty Reasoning

• Danjun Zhu, Boqin Feng, Tao Guan:
  Rough Sets and Decision Rules in Fuzzy Set-Valued Information Systems. 204-213
  
• Alexander L. Tulupyev, Sergey I. Nikolenko:
  Directed Cycles in Bayesian Belief Networks: Probabilistic Semantics and Consistency Checking Complexity. 214-223
  
• Mikael Heinze, Daniel Ortiz Arroyo, Henrik Legind Larsen, Francisco Rodríguez-Henríquez:
  Fuzzeval: A Fuzzy Controller-Based Approach in Adaptive Learning for Backgammon Game. 224-233
  
• Alejandra Duenas, Dobrila Petrovic, Sanja Petrovic:
  Analysis of Performance of Fuzzy Logic-Based Production Scheduling by Simulation. 234-243
  

Multiagent Systems and Distributed AI

• Candelaria Sansores, Juan Pavón:
  Agent-Based Simulation Replication: A Model Driven Architecture Approach. 244-253
  
• Marco Antonio Montes de Oca, Leonardo Garrido, José-Luis Aguirre:
  Effects of Inter-agent Communication in Ant-Based Clustering Algorithms: A Case Study on Communication Policies in Swarm Systems. 254-263
  
• Roman van der Krogt, Mathijs de Weerdt:
  Coordination Through Plan Repair. 264-274
  
• Armando Robles P, B. V. Pablo Noriega, Francisco J. Cantu, Rubén Morales-Menéndez:
  Enabling Intelligent Organizations: An Electronic Institutions Approach for Controlling and Executing Problem Solving Methods. 275-286
  
• Hugo da Silva Corrêa Pinto, Luis Otávio Alvares:
  An Extended Behavior Network for a Game Agent: An Investigation of Action Selection Quality and Agent Performance in Unreal Tournament. 287-296
  
• Jesús Héctor Domínguez Sanchez, Luis Marcelo Fernández, José-Luis Aguirre, Leonardo Garrido, Ramón F. Brena:
  Air Pollution Assessment Through a Multiagent-Based Traffic Simulation. 297-306
  

Computer Vision and Pattern Recognition

• Patrice Delmas, Georgy L. Gimel'farb, Jiang Liu, John Morris:
  A Noise-Driven Paradigm for Solving the Stereo Correspondence Problem. 307-317
  
• Roberto Antonio Vázquez, Humberto Sossa, Ricardo Barrón:
  Invariant Descriptions and Associative Processing Applied to Object Recognition Under Occlusions. 318-327
  
• Xiaoyi Feng, Jie Cui, Matti Pietikäinen, Abdenour Hadid:
  Real Time Facial Expression Recognition Using Local Binary Patterns and Linear Programming. 328-336
  
• Rafael Muñoz-Salinas, Eugenio Aguirre, Miguel García-Silvente, Antonio González:
  People Detection and Tracking Through Stereo Vision for Human-Robot Interaction. 337-346
  
• Mario Peña-Cabrera, Ismael Lopez-Juarez, Reyes Rios-Cabrera, Jorge Corona Castuera, Roman Osorio:
  Mapping Visual Behavior to Robotic Assembly Tasks. 347-358
  
• Raziel Álvarez, Erik Millán, Ricardo Swain Oropeza:
  Multilevel Seed Region Growth Segmentation. 359-368
  
• Antonio Sanchez, Raul Diaz, Peter Bock:
  A CLS Hierarchy for the Classification of Images. 369-378
  
• Dora Luz Almanza-Ojeda, Víctor Ayala-Ramírez, Raúl Enrique Sánchez-Yáñez, Juan Gabriel Aviña-Cervantes:
  Performance Evaluation of a Segmentation Algorithm for Synthetic Texture Images. 379-385
  
• Wenyin Zhang, Zhenli Nie, Zhenbing Zeng:
  Image Retrieval Based on Salient Points from DCT Domain. 386-395
  

Machine Learning and Data Mining

• Chao Shao, Houkuan Huang:
  Selection of the Optimal Parameter Value for the ISOMAP Algorithm. 396-404
  
• Edgar Chávez, Karina Figueroa, Gonzalo Navarro:
  Proximity Searching in High Dimensional Spaces with a Proximity Preserving Order. 405-414
  
• Frank Emmert-Streib:
  A Neurobiologically Motivated Model for Self-organized Learning. 415-424
  
• Sylvain Hallé:
  Using Boolean Differences for Discovering Ill-Defined Attributes in Propositional Machine Learning. 425-434
  
• Yuangui Li, Weidong Zhang, Guoli Wang, Yunze Cai:
  Simplify Decision Function of Reduced Support Vector Machines. 435-442
  
• Marlon Núñez, Raúl Fidalgo, Rafael Morales:
  On-Line Learning of Decision Trees in Problems with Unknown Dynamics. 443-453
  
• Huaqing Li, Feihu Qi, Shaoyu Wang:
  Improved Pairwise Coupling Support Vector Machines with Correcting Classifiers. 454-461
  
• Fangfang Wu, Yinliang Zhao:
  Least Squares Littlewood-Paley Wavelet Support Vector Machine. 462-472
  
• Nobuo Inui, Yuji Shinano:
  Minimizing State Transition Model for Multiclassification by Mixed-Integer Programming. 473-482
  
• Fernanda Kri, Carlos Gómez-Pantoja, Paz Caro:
  Overview of Metaheuristics Methods in Compilation. 483-493
  
• Ariel García-Gamboa, Miguel González-Mendoza, Rodolfo Ibarra-Orozco, Neil Hernández-Gress, Jaime Mora-Vargas:
  Comparison of SVM-Fuzzy Modelling Techniques for System Identification. 494-503
  
• Janset Kuvulmaz, Serkan Usanmaz, Seref Naci Engin:
  Time-Series Forecasting by Means of Linear and Nonlinear Models. 504-513
  
• Ildar Z. Batyrshin, Leonid Sheremetov:
  Perception Based Time Series Data Mining with MAP Transform. 514-523
  
• J. Horacio Camacho, Abdellah Salhi, Qingfu Zhang:
  A Graph Theoretic Approach to Key Equivalence. 524-533
  
• Chao Shao, Houkuan Huang:
  Improvement of Data Visualization Based on ISOMAP. 534-543
  
• Mingyang Gu:
  Supporting Generalized Cases in Conversational CBR. 544-553
  
• Caihong Sun, Simon Chi-Keung Shiu, Xizhao Wang:
  Organizing Large Case Library by Linear Programming. 554-564
  
• Ruifan Li, Cong Wang, Hongwei Hao, Xuyan Tu:
  Classifying Faces with Discriminant Isometric Feature Mapping. 565-573
  
• Yong He, Min Huang:
  A Grey-Markov Forecasting Model for the Electric Power Requirement in China. 574-582
  
• Luis E. Garza-Castañón, Francisco J. Cantú Ortiz, Rubén Morales-Menéndez, Ricardo Ramírez-Mendoza:
  A Fault Detection Approach Based on Machine Learning Models. 583-592
  

Evolutionary Computation and Genetic Algorithms

• Hongbin Dong, Jun He, Houkuan Huang, Wei Hou:
  A Mixed Mutation Strategy Evolutionary Programming Combined with Species Conservation Technique. 593-602
  
• Margarita Reyes Sierra, Carlos A. Coello Coello:
  Coevolutionary Multi-objective Optimization Using Clustering Techniques. 603-612
  
• Eduardo Rodriguez-Tello, Jin-Kao Hao, Jose Torres-Jimenez:
  A Comparison of Memetic Recombination Operators for the MinLA Problem. 613-622
  
• Crina Grosan, Ajith Abraham, Sangyong Han, Alexander F. Gelbukh:
  Hybrid Particle Swarm - Evolutionary Algorithm for Search and Optimization. 623-632
  
• Rujing Wang, Xiaoming Zhang:
  Particle Swarm Optimization with Opposite Particles. 633-640
  
• Angel Eduardo Muñoz Zavala, Arturo Hernández Aguirre, Enrique Raúl Villa Diharce:
  Particle Evolutionary Swarm Optimization with Linearly Decreasing epsilon-Tolerance. 641-651
  
• Efrén Mezura-Montes, Carlos A. Coello Coello:
  Useful Infeasible Solutions in Engineering Optimization with Evolutionary Algorithms. 652-662
  
• XiuPing Guo, GenKe Yang, Zhiming Wu:
  A Hybrid Self-adjusted Memetic Algorithm for Multi-objective Optimization. 663-672
  
• Ajith Abraham, Crina Grosan, Sang-Yong Han, Alexander F. Gelbukh:
  Evolutionary Multiobjective Optimization Approach for Evolving Ensemble of Intelligent Paradigms for Stock Market Modeling. 673-681
  
• Alexandre Blansché, Pierre Gançarski, Jerzy J. Korczak:
  Genetic Algorithms for Feature Weighting: Evolution vs. Coevolution and Darwin vs. Lamarck. 682-691
  
• Manuel Valenzuela-Rendón, Horacio Martinez-Alfaro, Hugo Terashima-Marín:
  A Deterministic Alternative to Competent Genetic Algorithms That Solves to Optimality Linearly Decomposable Non-overlapping Problems in Polynomial Time. 692-701
  

Neural Networks

• Carolina Saavedra, Héctor Allende, Sebastián Moreno, Rodrigo Salas:
  K-Dynamical Self Organizing Maps. 702-711
  
• Yong He, Yun Zhang, Liguo Xiang:
  Study of Application Model on BP Neural Network Optimized by Fuzzy Clustering. 712-720
  
• Darius Plikynas, Yusaf H. Akbar:
  Application of Modified Neural Network Weights' Matrices Explaining Determinants of Foreign Investment Patterns in the Emerging Markets. 721-730
  
• Luis Pastor Sánchez Fernández, Oleksiy B. Pogrebnyak, Cornelio Yáñez-Márquez:
  Neural Network and Trend Prediction for Technological Processes Monitoring. 731-740
  

Natural Language Processing

• Alexander Ja. Dikovsky:
  Underspecified Semantics for Dependency Grammars. 741-751
  
• Ying-Hong Liang, Tiejun Zhao:
  Distributed English Text Chunking Using Multi-agent Based Architecture. 752-760
  
• JingHui Xiao, Bingquan Liu, Xiaolong Wang, Bing Li:
  A Similarity-Based Approach to Data Sparseness Problem of Chinese Language Modeling. 761-769
  
• Zornitsa Kozareva, Boyan Bonev, Andrés Montoyo:
  Self-training and Co-training Applied to Spanish Named Entity Recognition. 770-779
  
• Sofía N. Galicia-Haro, Alexander F. Gelbukh:
  Towards the Automatic Learning of Idiomatic Prepositional Phrases. 780-789
  
• Igor A. Bolshakov, Elena I. Bolshakova:
  Measurements of Lexico-Syntactic Cohesion by Means of Internet. 790-799
  
• René MacKinney-Romero, John Goddard:
  Inferring Rules for Finding Syllables in Spanish. 800-805
  
• Empar Bisbal, David Tomás, Lidia Moreno, José Luis Vicedo González, Armando Suárez:
  A Multilingual SVM-Based Question Classification System. 806-815
  
• José Manuel Gómez Soriano, Manuel Montes-y-Gómez, Emilio Sanchis Arnal, Luis Villaseñor Pineda, Paolo Rosso:
  Language Independent Passage Retrieval for Question Answering. 816-823
  
• Hailong Yu, Wanli Zuo, Tao Peng:
  A New PU Learning Algorithm for Text Classification. 824-832
  
• Rodolfo A. Pazos Rangel, Joaquín Pérez Ortega, Juan Javier González Barbosa, Alexander F. Gelbukh, Grigori Sidorov, Myriam J. Rodríguez M.:
  A Domain Independent Natural Language Interface to Databases Capable of Processing Complex Queries. 833-842
  

Intelligent Interfaces and Speech Processing

• John A. Fitzgerald, Bing Quan Huang, M. Tahar Kechadi:
  An Efficient Hybrid Approach for Online Recognition of Handwritten Symbols. 843-853
  
• Haifeng Shen, Jun Guo, Gang Liu, Pingmu Huang, Qunxia Li:
  Environment Compensation Based on Maximum a Posteriori Estimation for Improved Speech Recognition. 854-862
  
• Juan Arturo Nolazco-Flores:
  ASR Based on the Analasys of the Short-MelFrequencyCepstra Time Transform. 863-869
  
• Humberto Pérez Espinosa, Carlos A. Reyes García:
  Building and Training of a New Mexican Spanish Voice for Festival. 870-879
  

Bioinformatics and Medical Applications

• Angel Fernando Kuri Morales, Martha R. Ortiz-Posadas:
  A New Approach to Sequence Representation of Proteins in Bioinformatics. 880-889
  
• Huma Lodhi, Stephen Muggleton:
  Computing Confidence Measures in Stochastic Logic Programs. 890-899
  
• Wenqi Shi, John A. Barnden:
  Using Inductive Rules in Medical Case-Based Reasoning System. 900-909
  
• Fernando Arámbula Cosío:
  Prostate Segmentation Using Pixel Classification and Genetic Algorithms. 910-917
  
• Jun Kong, Jingdan Zhang, Yinghua Lu, Jianzhong Wang, Yanjun Zhou:
  A Novel Approach for Adaptive Unsupervised Segmentation of MRI Brain Images. 918-927
  
• Sanjay Modgil, Pancho Tolchinsky, Ulises Cortés:
  Towards Formalising Agent Argumentation over the Viability of Human Organs for Transplantation. 928-938
  
• Adriano Lorena Inácio de Oliveira, Carolina Baldisserotto, Julio Baldisserotto:
  A Comparative Study on Machine Learning Techniques for Prediction of Success of Dental Implants. 939-948
  
• Orion Fausto Reyes-Galaviz, Carlos A. Reyes García:
  Infant Cry Classification to Identify Hypo Acoustics and Asphyxia Comparing an Evolutionary-Neural System with a Neural Network System. 949-958
  

Robotics

• Jérôme Leboeuf Pasquier:
  Applying the GFM Prospective Paradigm to the Autonomous and Adaptative Control of a Virtual Robot. 959-969
  
• Ramón F. Brena, Emmanuel Martinez:
  Maximizing Future Options: An On-Line Real-Time Planning Method. 970-979
  
• Abraham Sánchez, Maria A. Osorio:
  On the Use of Randomized Low-Discrepancy Sequences in Sampling-Based Motion Planning. 980-989
  
• Rafael Murrieta-Cid, Alejandro Sarmiento, Teja Muppirala, Seth Hutchinson, Raul Monroy, Moises Alencastre-Miranda, Lourdes Muñoz-Gómez, Ricardo Swain Oropeza:
  A Framework for Reactive Motion and Sensing Planning: A Critical Events-Based Approach. 990-1000
  
• Antonio Marín-Hernández, Michel Devy, Víctor Ayala-Ramírez:
  Visual Planning for Autonomous Mobile Robot Navigation. 1001-1011
  
• Pengfei Liu, Jiuqiang Han:
  Gait Synthesis Based on FWN and PD Controller for a Five-Link Biped Robot. 1012-1021
  
• Jorge Axel Domínguez-López, Gilberto Marrufo:
  Hybrid Fuzzy/Expert System to Control Grasping with Deformation Detection. 1022-1031
  
• Jorge Axel Domínguez-López:
  Adaptive Neuro-Fuzzy-Expert Controller of a Robotic Gripper. 1032-1041
  
• Hwayoun Lee, Ho-Jin Choi, In-Young Ko:
  A Semantically-Based Software Component Selection Mechanism for Intelligent Service Robots. 1042-1051
  
• Jorge Corona Castuera, Reyes Rios-Cabrera, Ismael Lopez-Juarez, Mario Peña-Cabrera:
  An Approach for Intelligent Fixtureless Assembly: Issues and Experiments. 1052-1061
  
• Ismael Lopez-Juarez, Keny Ordaz-Hernández, Mario Peña-Cabrera, Jorge Corona Castuera, Reyes Rios-Cabrera:
  On the Design of a Multimodal Cognitive Architecture for Perceptual Learning in Industrial Robots. 1062-1072
  
• Federico Guedea-Elizalde, Josafat M. Mata-Hernández, Rubén Morales-Menéndez:
  CORBA Distributed Robotic System: A Case Study Using a Motoman 6-DOF Arm Manipulator. 1073-1081
  

Modeling and Intelligent Control

• Rafael Ceballos, Sergio Pozo, Carmelo Del Valle, Rafael M. Gasca:
  An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way. 1082-1092
  
• Jaime Alvarez-Gallegos, Carlos Alberto Cruz Villar, Edgar Alfredo Portilla-Flores:
  Evolutionary Dynamic Optimization of a Continuously Variable Transmission for Mechanical Efficiency Maximization. 1093-1102
  
• Horacio Martinez-Alfaro, Griselda P. Cervantes-Casillas:
  Performance Improvement of Ad-Hoc Networks by Using a Behavior-Based Architecture. 1103-1112
  
• Patrick B. Moratori, Adriano J. de Oliveira Cruz, Laci Mary B. Manhães, Emília B. Ferreira, Márcia V. Pedro, Cabral Lima, Leila Cristina V. de Andrade:
  Analysis of the Performance of Different Fuzzy System Controllers. 1113-1123
  
• Andon V. Topalov, Okyay Kaynak:
  Discrete-Time Quasi-Sliding Mode Feedback-Error-Learning Neurocontrol of a Class of Uncertain Systems. 1124-1133
  
• Gerardo Loreto, Ruben Garrido:
  Stable Task Space Neuro Controller for Robot Manipulators Without Velocity Measurements. 1134-1144
  
• Changjie Yu, Jihong Zhu, Jianguo Che, Zengqi Sun:
  Input-Output Data Modelling Using Fully Tuned RBF Networks for a Four Degree-of-Freedom Tilt Rotor Aircraft Platform. 1145-1154
  
• Sefer Kurnaz, Emre Eroglu, Okyay Kaynak, Umit Malkoc:
  A Frugal Fuzzy Logic Based Approach for Autonomous Flight Control of Unmanned Aerial Vehicles. 1155-1163
  
• Rubén Morales-Menéndez, Sheyla Aguilar M, Ciro A. Rodríguez, Federico Guedea-Elizalde, Luis E. Garza-Castañón:
  Sensor-Fusion System for Monitoring a CNC-Milling Center. 1164-1174
  

Intelligent Tutoring Systems

• Yasmín Hernández, Julieta Noguez, Luis Enrique Sucar, Gustavo Arroyo-Figueroa:
  A Probabilistic Model of Affective Behavior for Intelligent Tutoring Systems. 1175-1184
  
• Julieta Noguez, Luis Enrique Sucar:
  A Semi-open Learning Environment for Virtual Laboratories. 1185-1194
  

Last update Wed Feb 15 04:18:29 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page