Advances in Artificial Intelligence: 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I

Front Matter....Pages -
Some Encounters on the Productive Use of a Failed Proof Attempt or a Counterexample....Pages 1-12
Discourse Segmentation for Spanish Based on Shallow Parsing....Pages 13-23
Towards Document Plagiarism Detection Based on the Relevance and Fragmentation of the Reused Text....Pages 24-31
Lexicon Based Sentiment Analysis of Urdu Text Using SentiUnits....Pages 32-43
A Semantic Oriented Approach to Textual Entailment Using WordNet-Based Measures....Pages 44-55
On Managing Collaborative Dialogue Using an Agent-Based Architecture....Pages 56-68
Dialog Structure Automatic Modeling....Pages 69-81
A Probabilistic Model Based on n -Grams for Bilingual Word Sense Disambiguation....Pages 82-91
Information Retrieval with a Simplified Conceptual Graph-Like Representation....Pages 92-104
Teaching a Robot to Perform Tasks with Voice Commands....Pages 105-116
Music Composition Based on Linguistic Approach....Pages 117-128
A Practical Robot Coverage Algorithm for Unknown Environments....Pages 129-140
An Algorithm for the Automatic Generation of Human-Like Motions Based on Examples....Pages 141-153
Line Maps in Cluttered Environments....Pages 154-165
Fuzzy Cognitive Maps for Modeling Complex Systems....Pages 166-174
Semantic Representation and Management of Student Models: An Approach to Adapt Lecture Sequencing to Enhance Learning....Pages 175-186
An Effective Heuristic for the No-Wait Flowshop with Sequence-Dependent Setup Times Problem....Pages 187-196
Optimizing Alternatives in Precedence Networks....Pages 197-208
AI-Based Integrated Scheduling of Production and Transportation Operations within Military Supply Chains....Pages 209-220
Turbo Codification Techniques for Error Control in a Communication Channel....Pages 221-231
A New Graphical Recursive Pruning Method for the Incremental Pruning Algorithm....Pages 232-242
A New Pruning Method for Incremental Pruning Algorithm Using a Sweeping Scan-Line through the Belief Space....Pages 243-253
POMDP Filter: Pruning POMDP Value Functions with the Kaczmarz Iterative Method....Pages 254-265
Testing Image Segmentation for Topological SLAM with Omnidirectional Images....Pages 266-277
Automatic Image Annotation Using Multiple Grid Segmentation....Pages 278-289
Spatio-temporal Image Tracking Based on Optical Flow and Clustering: An Endoneurosonographic Application....Pages 290-300
One Trilateral Filter Based on Surface Normal....Pages 301-311
Beta-Measure for Probabilistic Segmentation....Pages 312-324
Robust Spatial Regularization and Velocity Layer Separation for Optical Flow Computation on Transparent Sequences....Pages 325-336
SAR Image Denoising Using the Non-Subsampled Contourlet Transform and Morphological Operators....Pages 337-347
Scheme-Based Synthesis of Inductive Theories....Pages 348-361
A Possibilistic Intuitionistic Logic....Pages 362-373
Jason Induction of Logical Decision Trees: A Learning Library and Its Application to Commitment....Pages 374-385
Extending Soft Arc Consistency Algorithms to Non-invertible Semirings....Pages 386-398
Frequency Transition Based Upon Dynamic Consensus for a Distributed System....Pages 399-409
Towards Ubiquitous Acquisition and Processing of Gait Parameters....Pages 410-421
Intelligent Wheelchair and Virtual Training by LabVIEW....Pages 422-435
Environmental Pattern Recognition for Assessment of Air Quality Data with the Gamma Classifier....Pages 436-445
Massive Particles for Brain Tractography....Pages 446-457
Emotional Conversational Agents in Clinical Psychology and Psychiatry....Pages 458-466
Knowledge-Based System for Diagnosis of Metabolic Alterations in Undergraduate Students....Pages 467-476
Back Matter....Pages -