000 07359nam a22006615i 4500
001 978-3-642-45114-0
003 DE-He213
005 20240730195346.0
007 cr nn 008mamaa
008 131122s2013 gw | s |||| 0|eng d
020 _a9783642451140
_9978-3-642-45114-0
024 7 _a10.1007/978-3-642-45114-0
_2doi
050 4 _aQ334-342
050 4 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aAdvances in Artificial Intelligence and Its Applications
_h[electronic resource] :
_b12th Mexican International Conference, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I /
_cedited by Félix Castro, Alexander Gelbukh, Miguel González Mendoza.
250 _a1st ed. 2013.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2013.
300 _aXXVI, 585 p. 139 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v8265
505 0 _aSome Properties of Logic N-GLukG -- The Inverse Method for Many-Valued Logics -- A Parametric Interpolation Framework for First-Order Theories -- Dalal's Revision without Hamming Distance -- Default Assumptions and Selection Functions: A Generic Framework for Non-monotonic Logics -- Soft Constraints for Lexicographic Orders -- Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals -- Completion-Based Automated Theory Exploration -- Possibilistic Minimal Models for Possibilistic Normal Programs -- Knowledge-Based Systems and Multi-Agent Systems Estimating the Number of Test Cases for Active Rule Validation -- A Dynamic Multi-Expert Multi-Criteria Decision Making Model for Risk Analysis -- An Architecture for Cognitive Modeling to Support Real-Time Adaptation and Motivational Responses in Video Games -- Semantic Representation of CAD Models Based on the IGES Standard -- Complexity of Verification of Fuzzy Multi-Agent Systems -- Using Activity Theory and Causal Diagrams for Designing MultiAgent Systems That Assist Human Activities -- Challenges in Ontology Alignment and Solution to the Contradictory Evidence Problem -- Simple Window Selection Strategies for the Simplified Lesk Algorithm for Word Sense Disambiguation -- Disambiguating Wikipedia Articles on the Basis of plWordNet Lexico-semantic Relations -- Recognising Compositionality of Multi-Word Expressions in the Wordnet Oriented Perspective -- Automatic Processing of Linguistic Data as a Feedback for Linguistic Theory -- Interval Semi-supervised LDA: Classifying Needles in a Haystack -- A Reverse Dictionary Based on Semantic Analysis Using WordNet -- Applying Rogerian Psychologist in Human-Computer Interaction: A Case Study -- HuLaPos 2.0 - Decoding Morphology -- Hybrid Text Segmentation for Hungarian Clinical Records -- Detection and Expansion of Abbreviations in Hungarian Clinical Notes -- Composite Event Indicator Processing in Event Extraction for Non-configurationalLanguage -- Exploration of a Rich Feature Set for Automatic Term Extraction -- A Pseudo-Relevance Feedback Based Method to Find Comprehensive Web Documents -- Enhancing Sentence Ordering by Hierarchical Topic Modeling for Multi-document Summarization -- An Enhanced Arabic OCR Degraded Text Retrieval Model -- ELEXR: Automatic Evaluation of Machine Translation Using Lexical Relationships -- Modeling Persian Verb Morphology to Improve English-Persian Machine Translation -- An XML Based TBX Framework to Represent Multilingual SNOMED CT for Translation -- The Twin Hypotheses - Brain Code and the Fundamental Code Unit: Towards Understanding the Computational Primitive Elements of Cortical Computing -- Predicting Metabolic Syndrome with Neural Networks -- Homogeneous Population Solving the Minimal Perturbation Problem in Dynamic Scheduling of Surgeries -- CUP Classification Based on a Tree Structure with MiRNA Feature Selection -- Machine Learning Techniques Applied to the Cleavage Site Prediction Problem -- Human Heart Segmentation Based on Differential Evolution and Active Contours with Shape Prior -- Detection of Human Retina Images Suspect of Glaucoma through the Vascular Bundle Displacement in the Optic Disc -- Blood Vessel Segmentation in Retinal Images Using Lattice Neural Networks -- A Bayesian and Minimum Variance Technique for Arterial Lumen Segmentation in Ultrasound Imaging -- Detection of Masses in Mammogram Images Using Morphological Operators and Markov Random Fields -- A New Collection of Preprocessed Digital Mammograms.
520 _aThe two-volume set LNAI 8265 and LNAI 8266 constitutes the proceedings of the 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, held in Mexico City, Mexico, in November 2013. The total of 85 papers presented in these proceedings were carefully reviewed and selected from 284 submissions. The first volume deals with advances in artificial intelligence and its applications and is structured in the following five sections: logic and reasoning; knowledge-based systems and multi-agent systems; natural language processing; machine translation; and bioinformatics and medical applications. The second volume deals with advances in soft computing and its applications and is structured in the following eight sections: evolutionary and nature-inspired metaheuristic algorithms; neural networks and hybrid intelligent systems; fuzzy systems; machine learning and pattern recognition; data mining; computer vision and image processing; robotics, planning and scheduling and emotion detection, sentiment analysis and opinion mining.
650 0 _aArtificial intelligence.
_93407
650 0 _aImage processing
_xDigital techniques.
_94145
650 0 _aComputer vision.
_9160023
650 0 _aMedical informatics.
_94729
650 0 _aApplication software.
_9160024
650 0 _aInformation storage and retrieval systems.
_922213
650 0 _aAlgorithms.
_93390
650 1 4 _aArtificial Intelligence.
_93407
650 2 4 _aComputer Imaging, Vision, Pattern Recognition and Graphics.
_931569
650 2 4 _aHealth Informatics.
_931799
650 2 4 _aComputer and Information Systems Applications.
_9160025
650 2 4 _aInformation Storage and Retrieval.
_923927
650 2 4 _aAlgorithms.
_93390
700 1 _aCastro, Félix.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9160026
700 1 _aGelbukh, Alexander.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9160027
700 1 _aGonzález Mendoza, Miguel.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9160028
710 2 _aSpringerLink (Online service)
_9160029
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642451133
776 0 8 _iPrinted edition:
_z9783642451157
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v8265
_9160030
856 4 0 _uhttps://doi.org/10.1007/978-3-642-45114-0
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c95596
_d95596