Advances in Artificial Intelligence 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I / edited by Grigori Sidorov, Arturo Hernández Aguirre, Carlos Alberto Reyes Garcia.

Artificial intelligence (AI) is a branch of computer science that models the human ability of reasoning, usage of human language and organization of knowledge, solving problems and practically all other human intellectual abilities. Usually it is charact- ized by the application of heuristic methods...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Sidorov, Grigori (Editor), Hernández Aguirre, Arturo (Editor), Reyes Garcia, Carlos Alberto (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edition:1st ed. 2010.
Series:Lecture Notes in Artificial Intelligence ; 6437
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Invited Paper
  • Some Encounters on the Productive Use of a Failed Proof Attempt or a Counterexample
  • Natural Language Processing
  • Discourse Segmentation for Spanish Based on Shallow Parsing
  • Towards Document Plagiarism Detection Based on the Relevance and Fragmentation of the Reused Text
  • Lexicon Based Sentiment Analysis of Urdu Text Using SentiUnits
  • A Semantic Oriented Approach to Textual Entailment Using WordNet-Based Measures
  • On Managing Collaborative Dialogue Using an Agent-Based Architecture
  • Dialog Structure Automatic Modeling
  • A Probabilistic Model Based on n-Grams for Bilingual Word Sense Disambiguation
  • Information Retrieval with a Simplified Conceptual Graph-Like Representation
  • Teaching a Robot to Perform Tasks with Voice Commands
  • Music Composition Based on Linguistic Approach
  • Robotics, Planning and Scheduling
  • A Practical Robot Coverage Algorithm for Unknown Environments
  • An Algorithm for the Automatic Generation of Human-Like Motions Based on Examples
  • Line Maps in Cluttered Environments
  • Fuzzy Cognitive Maps for Modeling Complex Systems
  • Semantic Representation and Management of Student Models: An Approach to Adapt Lecture Sequencing to Enhance Learning
  • An Effective Heuristic for the No-Wait Flowshop with Sequence-Dependent Setup Times Problem
  • Optimizing Alternatives in Precedence Networks
  • AI-Based Integrated Scheduling of Production and Transportation Operations within Military Supply Chains
  • Turbo Codification Techniques for Error Control in a Communication Channel
  • A New Graphical Recursive Pruning Method for the Incremental Pruning Algorithm
  • A New Pruning Method for Incremental Pruning Algorithm Using a Sweeping Scan-Line through the Belief Space
  • POMDP Filter: Pruning POMDP Value Functions with the Kaczmarz Iterative Method
  • Computer Vision and Image Processing
  • Testing Image Segmentation for Topological SLAM with Omnidirectional Images
  • Automatic Image Annotation Using Multiple Grid Segmentation
  • Spatio-temporal Image Tracking Based on Optical Flow and Clustering: An Endoneurosonographic Application
  • One Trilateral Filter Based on Surface Normal
  • Beta-Measure for Probabilistic Segmentation
  • Robust Spatial Regularization and Velocity Layer Separation for Optical Flow Computation on Transparent Sequences
  • SAR Image Denoising Using the Non-Subsampled Contourlet Transform and Morphological Operators
  • Logic and Distributed Systems
  • Scheme-Based Synthesis of Inductive Theories
  • A Possibilistic Intuitionistic Logic
  • Jason Induction of Logical Decision Trees: A Learning Library and Its Application to Commitment
  • Extending Soft Arc Consistency Algorithms to Non-invertible Semirings
  • Frequency Transition Based Upon Dynamic Consensus for a Distributed System
  • AI-Based Medical Application
  • Towards Ubiquitous Acquisition and Processing of Gait Parameters
  • Intelligent Wheelchair and Virtual Training by LabVIEW
  • Environmental Pattern Recognition for Assessment of Air Quality Data with the Gamma Classifier
  • Massive Particles for Brain Tractography
  • Emotional Conversational Agents in Clinical Psychology and Psychiatry
  • Knowledge-Based System for Diagnosis of Metabolic Alterations in Undergraduate Students.