default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMICAI 2013: Mexico City, Mexico
- Félix Castro-Espinoza, Alexander F. Gelbukh
, Miguel González-Mendoza:
Advances in Artificial Intelligence and Its Applications - 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I. Lecture Notes in Computer Science 8265, Springer 2013, ISBN 978-3-642-45113-3
Logic and Reasoning
- Mauricio Osorio, José Luis Carballido, Claudia Zepeda:
Some Properties of Logic N-GLukG. 1-11 - Laura Kovács, Andrei Mantsivoda, Andrei Voronkov:
The Inverse Method for Many-Valued Logics. 12-23 - Laura Kovács, Simone Fulvio Rollini, Natasha Sharygina:
A Parametric Interpolation Framework for First-Order Theories. 24-40 - Pilar Pozos Parra, Weiru Liu, Laurent Perrussel:
Dalal's Revision without Hamming Distance. 41-53 - Frederik Van De Putte:
Default Assumptions and Selection Functions: A Generic Framework for Non-monotonic Logics. 54-67 - Fabio Gadducci, Matthias M. Hölzl, Giacoma Valentina Monreale, Martin Wirsing:
Soft Constraints for Lexicographic Orders. 68-79 - Everardo Bárcenas, Jesús Lavalle:
Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals. 80-91 - Omar Montaño-Rivas:
Completion-Based Automated Theory Exploration. 92-109 - Rubén Octavio Vélez Salazar, José Ramón Enrique Arrazola-Ramírez, Iván Martínez Ruiz:
Possibilistic Minimal Models for Possibilistic Normal Programs. 110-119
Knowledge-Based Systems and Multi-Agent Systems
- Lorena Chavarría-Báez, Xiaoou Li, Rosaura Palma-Orozco:
Estimating the Number of Test Cases for Active Rule Validation. 120-131 - Yeleny Zulueta, Vladimir Martell, Juan Carlos Martínez, Luis Martínez-López:
A Dynamic Multi-Expert Multi-Criteria Decision Making Model for Risk Analysis. 132-143 - Juan Carlos Conde Ramírez, Abraham Sánchez López, Abraham Sánchez Flores:
An Architecture for Cognitive Modeling to Support Real-Time Adaptation and Motivational Responses in Video Games. 144-156 - Nestor Velasco Bermeo, Miguel González-Mendoza, Alexander García Castro:
Semantic Representation of CAD Models Based on the IGES Standard. 157-168 - Michael I. Dekhtyar, Mars K. Valiev:
Complexity of Verification of Fuzzy Multi-Agent Systems. 169-184 - Hector G. Ceballos, Juan-Pablo García-Vázquez, Ramón F. Brena:
Using Activity Theory and Causal Diagrams for Designing MultiAgent Systems That Assist Human Activities. 185-198
Natural Language Processing
- Maria Vargas-Vera, Miklos Nagy:
Challenges in Ontology Alignment and Solution to the Contradictory Evidence Problem. 199-216 - Francisco Viveros Jiménez, Alexander F. Gelbukh, Grigori Sidorov:
Simple Window Selection Strategies for the Simplified Lesk Algorithm for Word Sense Disambiguation. 217-227 - Maciej Piasecki, Michal Kalinski, Agnieszka Indyka-Piasecka:
Disambiguating Wikipedia Articles on the Basis of plWordNet Lexico-semantic Relations. 228-239 - Pawel Kedzia, Maciej Piasecki, Marek Maziarz, Michal Marcinczuk:
Recognising Compositionality of Multi-Word Expressions in the Wordnet Oriented Perspective. 240-251 - Vladislav Kubon, Markéta Lopatková, Jirí Mírovský:
Automatic Processing of Linguistic Data as a Feedback for Linguistic Theory. 252-264 - Svetlana Bodrunova, Sergei Koltsov, Olessia Koltsova, Sergey I. Nikolenko, Anastasia Shimorina:
Interval Semi-supervised LDA: Classifying Needles in a Haystack. 265-274 - Oscar Méndez, Hiram Calvo, Marco A. Moreno-Armendáriz:
A Reverse Dictionary Based on Semantic Analysis Using WordNet. 275-285 - Tomás Nestorovic, Václav Matousek:
Applying Rogerian Psychologist in Human-Computer Interaction: A Case Study. 286-293 - László János Laki, György Orosz, Attila Novák:
HuLaPos 2.0 - Decoding Morphology. 294-305 - György Orosz, Attila Novák, Gábor Prószéky:
Hybrid Text Segmentation for Hungarian Clinical Records. 306-317 - Borbála Siklósi, Attila Novák:
Detection and Expansion of Abbreviations in Hungarian Clinical Notes. 318-328 - Valery D. Solovyev, Vladimir Ivanov:
Composite Event Indicator Processing in Event Extraction for Non-configurational Language. 329-341 - Merley da Silva Conrado, Thiago Alexandre Salgueiro Pardo, Solange Oliveira Rezende:
Exploration of a Rich Feature Set for Automatic Term Extraction. 342-354 - R. Rajendra Prasath, Sudeshna Sarkar:
A Pseudo-Relevance Feedback Based Method to Find Comprehensive Web Documents. 355-366 - Guangbing Yang, Kinshuk, Dunwei Wen, Erkki Sutinen:
Enhancing Sentence Ordering by Hierarchical Topic Modeling for Multi-document Summarization. 367-379 - Mostafa Ezzat, Tarek Elghazaly, Mervat Gheith:
An Enhanced Arabic OCR Degraded Text Retrieval Model. 380-393
Machine Translation
- Alireza Mahmoudi, Heshaam Faili, Mohammad Hossein Dehghan, Jalal Maleki:
ELEXR: Automatic Evaluation of Machine Translation Using Lexical Relationships. 394-405 - Alireza Mahmoudi, Heshaam Faili, Mohsen Arabsorkhi:
Modeling Persian Verb Morphology to Improve English-Persian Machine Translation. 406-418 - Olatz Perez-de-Viñaspre, Maite Oronoz:
An XML Based TBX Framework to Represent Multilingual SNOMED CT for Translation. 419-429
Bioinformatics and Medical Applications
- Newton Howard:
The Twin Hypotheses - Brain Code and the Fundamental Code Unit: Towards Understanding the Computational Primitive Elements of Cortical Computing. 430-463 - Miguel Murguía-Romero, Rafael Jiménez-Flores, Adolfo René Méndez-Cruz, Rafael Villalobos-Molina:
Predicting Metabolic Syndrome with Neural Networks. 464-472 - Adriana Perez-Lopez, Rosario Baltazar, Juan Martín Carpio, Hugo Terashima-Marín, Dulce J. Magaña-Lozano, Héctor J. Puga:
Homogeneous Population Solving the Minimal Perturbation Problem in Dynamic Scheduling of Surgeries. 473-484 - Xiaoxue Zhang, Dunwei Wen, Ke Wang, Yinan Yang:
CUP Classification Based on a Tree Structure with MiRNA Feature Selection. 485-496 - Gloria Inés Alvarez, Enrique Bravo, Diego Linares, Jheyson Faride Vargas, Jairo Andrés Velasco:
Machine Learning Techniques Applied to the Cleavage Site Prediction Problem. 497-507 - Iván Cruz-Aceves, Juan Gabriel Aviña-Cervantes, Juan Manuel López-Hernández, Ma. de Guadalupe García-Hernández, Sheila Esmeralda González-Reyna, Miguel Torres-Cisneros:
Human Heart Segmentation Based on Differential Evolution and Active Contours with Shape Prior. 508-519 - José Abel de la Fuente-Arriaga, Edgardo Manuel Felipe Riverón, Eduardo Garduño-Calderón:
Detection of Human Retina Images Suspect of Glaucoma through the Vascular Bundle Displacement in the Optic Disc. 520-531 - Roberto Vega, Elizabeth Guevara, Luis Eduardo Falcón, Gildardo Sánchez-Ante, Humberto Sossa:
Blood Vessel Segmentation in Retinal Images Using Lattice Neural Networks. 532-544 - Sergio Rogelio Tinoco-Martínez, Félix Calderón, Carlos Lara-Alvarez, Jaime Carranza-Madrigal:
A Bayesian and Minimum Variance Technique for Arterial Lumen Segmentation in Ultrasound Imaging. 545-557 - Verónica Rodríguez-López, Rosebet Miranda-Luna, José Anibal Arias-Aguilar:
Detection of Masses in Mammogram Images Using Morphological Operators and Markov Random Fields. 558-569 - Juana Canul-Reich, Omar Trinidad Gutiérrez Méndez:
A New Collection of Preprocessed Digital Mammograms. 570-581
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-11-17 22:49 CET 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:
