Current Topics in Artificial Intelligence [electronic resource] : 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers /
Asociación Española de Inteligencia Artificial.Conferencia(11th :2006 :Santiago de Compostela, Spain)
Marín, Roque.editor.
Onaindía, Eva.editor.
Bugarín, Alberto.editor.
Santos, José.editor.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
Invited Talk -- Preferences in Answer Set Programming -- Selected Papers from the 11th Conference of the Spanish Association for Artificial Intelligence (CAEPIA 2005) -- 3D Robot Mapping: Combining Active and Non Active Sensors in a Probabilistic Framework -- A Flipping Local Search Genetic Algorithm for the Multidimensional 0-1 Knapsack Problem -- A Hierarchical Pattern Matching Procedure for Signal Abstraction -- A Meta-Reasoning Model for Hard Real-Time Agents -- A Scheduling Order-Based Method to Solve Timetabling Problems -- A Topological-Based Method for Allocating Sensors by Using CSP Techniques -- Adapting the Point of View for Behavior-Based Navigation -- Agent Based Simulation for Social Systems: From Modeling to Implementation -- Agent Behavior Representation in INGENIAS -- Agent-Based Modeling of Social Complex Systems -- Agent-Based Solutions for Natural Language Generation Tasks -- An Autonomous and User-Independent Hand Posture Recognition System for Vision-Based Interface Tasks -- An Effective Robotic Model of Action Selection -- An Evaluation Method with Imprecise Information for Multi-attribute Decision Support -- Classification Algorithms for Biomedical Volume Datasets -- Coalition Formation in P2P File Sharing Systems -- Combining Human Perception and Geometric Restrictions for Automatic Pedestrian Detection -- Comparative Analysis of Artificial Neural Network Training Methods for Inverse Kinematics Learning -- Comparison of Heuristics in Multiobjective A* Search -- Contour-Based Shape Retrieval Using Dynamic Time Warping -- Diagnosing Errors in DbC Programs Using Constraint Programming -- Early Fault Classification in Dynamic Systems Using Case-Based Reasoning -- Face Description for Perceptual User Interfaces -- Genetic Algorithms Hybridized with Greedy Algorithms and Local Search over the Spaces of Active and Semi-active Schedules -- Hebbian Iterative Method for Unsupervised Clustering with Automatic Detection of the Number of Clusters with Discrete Recurrent Networks -- Heuristic Perimeter Search: First Results -- Image Disorder Characterization Based on Rate Distortion -- Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems -- Inferring Multidimensional Cubes for Representing Conceptual Document Spaces -- Internal Categories with Irregular Geometry and Overlapping in ART Networks -- Legal Ontologies for the Spanish e-Government -- Mapping Conformant Planning into SAT Through Compilation and Projection -- Multiagent Architecture for Monitoring the North-Atlantic Carbon Dioxide Exchange Rate -- Music Knowledge Analysis: Towards an Efficient Representation for Composition -- Mutual Information Based Measure for Image Content Characterization -- Nonlinear Mappings with Cellular Neural Networks -- On the Use of Entropy Series for Fade Detection -- Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility -- Propagating Updates in Real-Time Search: HLRTA*(k) -- Real Time Image Segmentation Using an Adaptive Thresholding Approach -- Scheduling a Plan with Delays in Time: A CSP Approach -- Sliding Mode Control of a Wastewater Treatment Plant with Neural Networks -- Techniques for Recognizing Textual Entailment and Semantic Equivalence -- Temporal Enhancements of an HTN Planner -- The Multi-Team Formation Defense of Teamwork -- Tokenising, Stemming and Stopword Removal on Anti-spam Filtering Domain -- Toward a Motivated BDI Agent Using Attributes Embedded in Mental States -- Training and Analysis of Mobile Robot Behaviour Through System Identification.
Artificial intelligence.
Mathematical logic.
Computers.
Artificial Intelligence.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.

Lecture Notes in Computer Science