Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Advances in Artificial Intelligence [[electronic resource] ] : 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosi, Mexico, October 27 - November 4, 2012. Revised Selected Papers, Part I / / edited by Ildar Batyrshin, Miguel González Mendoza
| Advances in Artificial Intelligence [[electronic resource] ] : 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosi, Mexico, October 27 - November 4, 2012. Revised Selected Papers, Part I / / edited by Ildar Batyrshin, Miguel González Mendoza |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XXVI, 483 p. 157 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Optical data processing Health informatics Application software Information storage and retrieval Computer science Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Health Informatics Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Science, general |
| ISBN | 3-642-37807-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Machine learning and pattern recognition -- Computer vision and image processing -- Robotics -- Knowledge representation, reasoning, and scheduling -- Medical applications of artificial intelligence. |
| Record Nr. | UNISA-996466200503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Artificial Intelligence : 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosi, Mexico, October 27 - November 4, 2012. Revised Selected Papers, Part I / / edited by Ildar Batyrshin, Miguel González Mendoza
| Advances in Artificial Intelligence : 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosi, Mexico, October 27 - November 4, 2012. Revised Selected Papers, Part I / / edited by Ildar Batyrshin, Miguel González Mendoza |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XXVI, 483 p. 157 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Optical data processing Health informatics Application software Information storage and retrieval Computer science Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Health Informatics Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Science, general |
| ISBN | 3-642-37807-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Machine learning and pattern recognition -- Computer vision and image processing -- Robotics -- Knowledge representation, reasoning, and scheduling -- Medical applications of artificial intelligence. |
| Record Nr. | UNINA-9910484050003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Artificial Intelligence and Its Applications [[electronic resource] ] : 12th Mexican International Conference, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I / / edited by Félix Castro, Alexander Gelbukh, Miguel González Mendoza
| Advances in Artificial Intelligence and Its Applications [[electronic resource] ] : 12th Mexican International Conference, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I / / edited by Félix Castro, Alexander Gelbukh, Miguel González Mendoza |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XXVI, 585 p. 139 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Optical data processing Health informatics Application software Information storage and retrieval Algorithms Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Health Informatics Information Systems Applications (incl. Internet) Information Storage and Retrieval Algorithm Analysis and Problem Complexity |
| ISBN | 3-642-45114-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Some 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-configurational Language -- 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. |
| Record Nr. | UNISA-996465639203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Artificial Intelligence and Its Applications : 12th Mexican International Conference, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I / / edited by Félix Castro, Alexander Gelbukh, Miguel González Mendoza
| Advances in Artificial Intelligence and Its Applications : 12th Mexican International Conference, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I / / edited by Félix Castro, Alexander Gelbukh, Miguel González Mendoza |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XXVI, 585 p. 139 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Optical data processing Health informatics Application software Information storage and retrieval Algorithms Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Health Informatics Information Systems Applications (incl. Internet) Information Storage and Retrieval Algorithm Analysis and Problem Complexity |
| ISBN | 3-642-45114-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Some 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-configurational Language -- 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. |
| Record Nr. | UNINA-9910484621003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Computational Intelligence [[electronic resource] ] : 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosi, Mexico, October 27 - November 4, 2012. Revised Selected Papers, Part II / / edited by Ildar Batyrshin, Miguel González Mendoza
| Advances in Computational Intelligence [[electronic resource] ] : 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosi, Mexico, October 27 - November 4, 2012. Revised Selected Papers, Part II / / edited by Ildar Batyrshin, Miguel González Mendoza |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XXVI, 469 p. 208 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Optical data processing Health informatics Application software Information storage and retrieval Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Health Informatics Information Systems Applications (incl. Internet) Information Storage and Retrieval |
| ISBN | 3-642-37798-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Natural language processing -- Evolutionary and nature-inspired metaheuristic algorithms -- Neural networks and hybrid intelligent systems -- Fuzzy systems and probabilistic models in decision making. |
| Record Nr. | UNISA-996466185103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Computational Intelligence : 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosi, Mexico, October 27 - November 4, 2012. Revised Selected Papers, Part II / / edited by Ildar Batyrshin, Miguel González Mendoza
| Advances in Computational Intelligence : 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosi, Mexico, October 27 - November 4, 2012. Revised Selected Papers, Part II / / edited by Ildar Batyrshin, Miguel González Mendoza |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XXVI, 469 p. 208 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Optical data processing Health informatics Application software Information storage and retrieval Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Health Informatics Information Systems Applications (incl. Internet) Information Storage and Retrieval |
| ISBN | 3-642-37798-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Natural language processing -- Evolutionary and nature-inspired metaheuristic algorithms -- Neural networks and hybrid intelligent systems -- Fuzzy systems and probabilistic models in decision making. |
| Record Nr. | UNINA-9910484666203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||