default search action
MICAI 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
The Inverse Method for Many-Valued Logics. 12-23 - Laura Kovács
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
Soft Constraints for Lexicographic Orders. 68-79 - Everardo Bárcenas
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
Estimating the Number of Test Cases for Active Rule Validation. 120-131 - Yeleny Zulueta
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
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
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
Simple Window Selection Strategies for the Simplified Lesk Algorithm for Word Sense Disambiguation. 217-227 - Maciej Piasecki
Disambiguating Wikipedia Articles on the Basis of plWordNet Lexico-semantic Relations. 228-239 - Pawel Kedzia, Maciej Piasecki
Recognising Compositionality of Multi-Word Expressions in the Wordnet Oriented Perspective. 240-251 - Vladislav Kubon
Automatic Processing of Linguistic Data as a Feedback for Linguistic Theory. 252-264 - Svetlana Bodrunova
Interval Semi-supervised LDA: Classifying Needles in a Haystack. 265-274 - Oscar Méndez, Hiram Calvo
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
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
A Pseudo-Relevance Feedback Based Method to Find Comprehensive Web Documents. 355-366 - Guangbing Yang, Kinshuk, Dunwei Wen
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
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
Predicting Metabolic Syndrome with Neural Networks. 464-472 - Adriana Perez-Lopez, Rosario Baltazar
Homogeneous Population Solving the Minimal Perturbation Problem in Dynamic Scheduling of Surgeries. 473-484 - Xiaoxue Zhang, Dunwei Wen
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
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
Blood Vessel Segmentation in Retinal Images Using Lattice Neural Networks. 532-544 - Sergio Rogelio Tinoco-Martínez, Félix Calderón, Carlos Lara-Alvarez
A Bayesian and Minimum Variance Technique for Arterial Lumen Segmentation in Ultrasound Imaging. 545-557 - Verónica Rodríguez-López
Detection of Masses in Mammogram Images Using Morphological Operators and Markov Random Fields. 558-569 - Juana Canul-Reich
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 2024-11-22 19:31 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: