default search action
MICAI 2011: Puebla, Mexico
- Ildar Z. Batyrshin, Grigori Sidorov:
Advances in Artificial Intelligence - 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I. Lecture Notes in Computer Science 7094, Springer 2011, ISBN 978-3-642-25323-2
Automated Reasoning and Multi-Agent Systems
- Krystof Hoder, Laura Kovács
, Andrei Voronkov:
Case Studies on Invariant Generation Using a Saturation Theorem Prover. 1-15 - Mauricio Osorio, José Luis Carballido, Claudia Zepeda, Zenaida Cruz:
Characterization of Argumentation Semantics in Terms of the MM r Semantics. 16-27 - José Eduardo Ochoa Luna
Learning Probabilistic Description Logics: A Framework and Algorithms. 28-39 - Pilar Pozos Parra, Laurent Perrussel, Jean-Marc Thévenin:
Belief Merging Using Normal Forms. 40-51 - Hiroyuki Kido, Katsumi Nitta:
Toward Justifying Actions with Logically and Socially Acceptable Reasons. 52-64 - Dora-Luz Flores
A Complex Social System Simulation Using Type-2 Fuzzy Logic and Multiagent System. 65-75 - Amir Elalouf, Eugene Levner, T. C. Edwin Cheng
Computing Mobile Agent Routes with Node-Wise Constraints in Distributed Communication Systems. 76-87 - Rosa Laura Zavala Gutierrez, Michael N. Huhns, Angelica Garcia-Vega:
Collaborative Redundant Agents: Modeling the Dependences in the Diversity of the Agents' Errors. 88-100 - Aram Baruch González Perez, Jorge Adolfo Ramírez Uresti
Strategy Patterns Prediction Model (SPPM). 101-112 - Pedro Cadena, Leonardo Garrido
Fuzzy Case-Based Reasoning for Managing Strategic and Tactical Reasoning in StarCraft. 113-124
Problem Solving and Machine Learning
- José Carlos Ortiz-Bayliss
Variable and Value Ordering Decision Matrix Hyper-heuristics: A Local Improvement Approach. 125-136 - Marcela Quiroz-Castellanos
Improving the Performance of Heuristic Algorithms Based on Causal Inference. 137-148 - Dmitrijs Rutko:
Fuzzified Tree Search in Real Domain Games. 149-161 - Andrej Chovanec, Roman Barták
On Generating Templates for Hypothesis in Inductive Logic Programming. 162-173 - Benito Camiña
Towards Building a Masquerade Detection Method Based on User File System Navigation. 174-186 - Jair Cervantes
A Fast SVM Training Algorithm Based on a Decision Tree Data Filter. 187-197 - Oscar Carrizales-Turrubiates, Nelson Rangel-Valdez
Optimal Shortening of Covering Arrays. 198-209 - Loreto Gonzalez-Hernandez
An Exact Approach to Maximize the Number of Wild Cards in a Covering Array. 210-221 - Liliana Argotte, Julieta Noguez
Intelligent Learning System Based on SCORM Learning Objects. 222-231
Natural Language Processing
- Hugo Jair Escalante, Manuel Montes-y-Gómez, Thamar Solorio:
A Weighted Profile Intersection Measure for Profile-Based Authorship Attribution. 232-243 - Gabriel G. Infante López, Martín Ariel Domínguez:
A New General Grammar Formalism for Parsing. 244-257 - Aldo Fabian, Manuel Hernandez, Luis Alberto Pineda
Contextual Semantic Processing for a Spanish Dialogue System Using Markov Logic. 258-266 - Partha Pakray
A Statistics-Based Semantic Textual Entailment System. 267-276 - Rodolfo A. Pazos Rangel, Juan J. González B.
Semantic Model for Improving the Performance of Natural Language Interfaces to Databases. 277-290 - Rahmatullah Hafiz, Richard A. Frost:
Modular Natural Language Processing Using Declarative Attribute Grammars. 291-304 - Yulia Ledeneva
EM Clustering Algorithm for Automatic Text Summarization. 305-315 - Alejandro Molina-Villegas
Discourse Segmentation for Sentence Compression. 316-327 - Grigori Sidorov, Juve Andrea Herrera-de-la-Cruz, Sofía N. Galicia-Haro, Juan Pablo Posadas-Durán, Liliana Chanona-Hernández:
Heuristic Algorithm for Extraction of Facts Using Relational Model and Syntactic Data. 328-337 - Roque Enrique López, Dennis Barreda, Javier Tejada
MFSRank: An Unsupervised Method to Extract Keyphrases Using Semantic Information. 338-344 - Luciana Benotti
Content Determination through Planning for Flexible Game Tutorials. 345-356 - Debangana Dey, Thamar Solorio, Manuel Montes-y-Gómez, Hugo Jair Escalante:
Instance Selection in Text Classification Using the Silhouette Coefficient Measure. 357-369 - Sofía N. Galicia-Haro, Alexander F. Gelbukh
Age-Related Temporal Phrases in Spanish and French. 370-381 - Afraz Zahra Syed, Aslam Muhammad, Ana María Martínez Enríquez:
Sentiment Analysis of Urdu Language: Handling Phrase-Level Negation. 382-393 - Mohammad Sadegh Rasooli, Heshaam Faili, Behrouz Minaei-Bidgoli
Unsupervised Identification of Persian Compound Verbs. 394-406
Robotics, Planning and Scheduling
- Md. Zulfikar Hossain, Wai K. Yeap, Olaf Diegel
Testing a Theory of Perceptual Mapping Using Robots. 407-414 - Lucas Agussurja, Hoong Chuin Lau
A POMDP Model for Guiding Taxi Cruising in a Congested Urban City. 415-428 - Juan Irving Vasquez-Gomez
Next-Best-View Planning for 3D Object Reconstruction under Positioning Error. 429-442 - Yadira Quiñonez, Darío Maravall, Javier de Lope Asiaín
Stochastic Learning Automata for Self-coordination in Heterogeneous Multi-Tasks Selection in Multi-Robot Systems. 443-453 - Tiago Matos, Yannick Plaino Bergamo, Valdinei Freire da Silva, Anna Helena Reali Costa
Stochastic Abstract Policies for Knowledge Transfer in Robotic Navigation Tasks. 454-465 - Fernando Montes-González, Fernando Aldana-Franco:
The Evolution of Signal Communication for the e-puck Robot. 466-477 - Philippe Fournier-Viger
An Hybrid Expert Model to Support Tutoring Services in Robotic Arm Manipulations. 478-489 - Omar Alejandro Aguilar, Joel Carlos Huegel
Inverse Kinematics Solution for Robotic Manipulators Using a CUDA-Based Parallel Genetic Algorithm. 490-503
Medical Applications of Artificial Intelligence
- Oscar Dalmau Cedeño
MFCA: Matched Filters with Cellular Automata for Retinal Vessel Detection. 504-514 - Alberto Pastrana Palma
Computer Assisted Diagnosis of Microcalcifications in Mammograms: A Scale-Space Approach. 515-523 - Saad Tanveer, Omer Jamshaid, Abdul Mannan, Aslam Muhammad, Ana María Martínez Enríquez, Afraz Zahra Syed, Gonzalo Escalada-Imaz:
Diagnosis in Sonogram of Gall Bladder. 524-536 - Alejandro Rosales-Pérez
Genetic Selection of Fuzzy Model for Acute Leukemia Classification. 537-548 - Laia Subirats
An Ontology for Computer-Based Decision Support in Rehabilitation. 549-559 - Miguel Murguía-Romero
Heuristic Search of Cut-Off Points for Clinical Parameters: Defining the Limits of Obesity. 560-571 - Emilio Soto, Jorge Antonio Ascencio, Manuel Gonzalez, Jorge Arturo Hernandez:
Development of a System of Electrodes for Reading Consents-Activity of an Amputated Leg (above the knee) and Its Prosthesis Application. 572-582 - Edwin R. García
Predicting the Behavior of the Interaction of Acetylthiocholine, pH and Temperature of an Acetylcholinesterase Sensor. 583-591
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-07-18 00:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: