top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Advances in Artificial Intelligence and Its Applications [[electronic resource] ] : 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part II / / edited by Obdulia Pichardo Lagunas, Oscar Herrera Alcántara, Gustavo Arroyo Figueroa
Advances in Artificial Intelligence and Its Applications [[electronic resource] ] : 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part II / / edited by Obdulia Pichardo Lagunas, Oscar Herrera Alcántara, Gustavo Arroyo Figueroa
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (XXIX, 619 p. 197 illus. in color.)
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-319-27101-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Conference Organization -- Contents - Part II -- Contents - Part I -- Invited Papers -- Measuring Non-compositionality of Verb-Noun Collocations Using Lexical Functions and WordNet Hypernyms -- Abstract -- 1 Introduction -- 2 Related Work on Non-compositionality of Collocations -- 3 Lexical Functions as a Concept of the Meaning-Text Theory -- 3.1 Meaning-Text Theory (MTT) -- 3.2 Lexical Function -- 3.3 Lexical Functions in Verb-Noun Collocations -- 4 Non-compositionality in Terms of Lexical Function Detection Using WordNet Hypernyms -- 5 Experiments -- 6 Results and Discussion -- 7 Conclusions and Future Work -- Acknowledgements -- References -- Fuzzy-Probabilistic Estimation of the Electric Vehicles Energy Consumption -- Abstract -- 1 Introduction -- 2 Methodology -- 2.1 Framework -- 2.2 Fuzzy-Probabilistic Methodology -- 3 Numerical Example -- 4 Conclusions -- References -- Natural Language Processing Applications -- Data-Driven Unsupervised Evaluation of Automatic Text Summarization Systems -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Our Approach -- 4 Data -- 5 Experiments. Results. Discussion -- 5.1 Experiment with Informants -- 5.2 Preliminary Evaluation of the Summaries -- 5.3 Automatic Keywords Extraction -- 5.4 Comparison of Keywords Given by Different Groups of Informants -- 6 Conclusion and Future Work -- Acknowledgements -- References -- Extractive Single-Document Summarization Based on Global-Best Harmony Search and a Greedy Local Optimizer -- Abstract -- 1 Introduction -- 2 Problem Statement and Its Mathematical Formulation -- 3 The Proposed Memetic Algorithm -- 3.1 Greedy Local Optimizer -- 4 Experiment and Evaluation -- 4.1 Parameter Tuning -- 4.2 Results -- 5 Conclusions and Future Work -- Acknowledgments -- References -- SVD-LDA: Topic Modeling for Full-Text Recommender Systems -- 1 Introduction.
2 LDA and sLDA -- 2.1 Latent Dirichlet Allocation -- 2.2 Supervised LDA -- 3 SVD in Recommender Systems -- 3.1 Basic SVD Model in Collaborative Filtering -- 3.2 Cold Start, Additional Information, and Content -- 4 SVD-LDA -- 4.1 SVD-LDA: Exact Sampling -- 4.2 SVD-LDA: First Order Approximation -- 4.3 Variations of SVD-LDA -- 5 Evaluation -- 5.1 Dataset -- 5.2 RMSE Improves with LDA Training -- 5.3 SVD-LDA Recommends Better Than SVD -- 5.4 Predictors for Demographic Clusters -- 6 Conclusion -- References -- Movies Recommendation Based on Opinion Mining in Twitter -- 1 Introduction -- 2 Classification Models for Opinion Mining -- 2.1 Tokenization -- 2.2 Pre-processing -- 2.3 Classification Models -- 3 Experimental Results -- 3.1 Data Collection -- 3.2 Tokenization Strategies -- 3.3 Pre-processing Strategies -- 3.4 Movies Recommendation -- 4 Related Work -- 5 Conclusions and Future Work -- References -- Inferring Sentiment-Based Priors in Topic Models -- 1 Introduction -- 2 Latent Dirichlet Allocation -- 2.1 Notation and the Basic LDA Model -- 2.2 LDA Extensions -- 2.3 Topic Models for Sentiment Analysis -- 3 Learning Sentiment Priors with the EM Algorithm -- 4 Experimental Results -- 5 Conclusion -- References -- Analysis of Negation Cues for Semantic Orientation Classification of Reviews in Spanish -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Corpus and Linguistic Knowledge -- 3.1 Review Texts Corpus -- 3.2 Linguistic Knowledge -- 3.3 Negation -- 4 Methods for Semantic Orientation Classification -- 4.1 Unsupervised Method -- 4.2 Supervised Method -- 5 Results and Discussion -- 5.1 Unsupervised Method -- 5.2 Supervised Method -- 5.3 Discussion -- 6 Conclusions -- Acknowledgments -- References -- Detecting Social Spammers in Colombia 2014 Presidential Election -- 1 Introduction -- 2 Related Work -- 3 Background on the Colombian Election.
4 Data Collection and Ground Truth Creation -- 4.1 Dataset -- 4.2 Ground Truth -- 5 Detecting Social Spammers -- 5.1 Features -- 5.2 Semi-Supervised Detection -- 5.3 Supervised Detection -- 6 Discussion -- 7 Conclusions and Future Work -- References -- NLP Methodology as Guidance and Verification of the Data Mining of Survey ENSANUT 2012 -- Abstract -- 1 Introduction -- 2 Data -- 3 NLP Pipeline -- 3.1 Text Annotation -- 3.2 Lemma Classification by Collocation -- 3.3 Merging Lists of Lemmas and Adding Intentionality -- 3.4 Corpus Division for Focused Queries -- 3.5 Feature Extraction -- 4 Model and Results -- 4.1 Pre-processing Data Using the Selected Features -- 4.2 Frequency Histograms -- 4.3 Epsilon and Scores -- 4.4 Testing the Classifier -- 4.5 Confusion Matrix of the Test Set -- 5 Conclusion -- Acknowledgments -- References -- Educational Applications -- A Comparative Framework to Evaluate Recommender Systems in Technology Enhanced Learning: a Case Study -- 1 Introduction -- 2 Background -- 3 The Proposed Comparative Framework -- 4 The Framework in Action: A Case Study -- 4.1 Brief Overview of Subject Systems -- 5 Performance Analysis -- 5.1 Google -- 5.2 Slideshare -- 5.3 Youtube -- 5.4 Connexions -- 5.5 MERLOT and ARIADNE -- 6 Summarising the Results: Comparative Analysis -- 6.1 Limitations of the Experiment -- 7 Conclusions and Future Work -- References -- An Affective and Cognitive Tutoring System for Learning Programming -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Java Sensei Architecture -- 4 Affective Recognition and Feedback -- 5 Experiments and Results -- 6 Conclusions and Future Work -- Funding -- References -- Strategic Learning Meta-Model (SLM): Architecture of the Personalized Virtual Learning Environment (PVLE) Based on the Cloud Computing -- Abstract -- 1 Introduction -- 1.1 Conceptual Framework.
1.2 Learning Evaluation and Learning Styles -- 1.3 Personalization of Learning Assessment -- 1.4 Research Focused in Evaluation of E-Learning -- 1.5 Research Based on the Design and Application of Ontologies -- 1.6 Researches Focused on Learning Personalization and Teaching -- 1.7 Ontology for Personalized Learning Activities Based on a Cognitive Theory -- 2 Methodology -- 3 Personalized Virtual Learning Environment (PVLE) with a Ontological Model (OM) -- 3.1 LMS Architecture -- 3.2 VLE Architecture -- 3.3 Ontological Model (OM) Architecture -- 4 Study Case -- 4.1 Design of the Ontology Using the Methodology GODeM and OntoDesign Graphics Notation -- 4.2 Implementation of the Ontology Prot00E9g00E9 -- 4.3 Results -- 5 Conclusions -- References -- Open Student Model for Blended Training in the Electrical Tests Domain -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Blended Training Model -- 3.1 VRS for Electrical Test Training -- 4 Trainee Model -- 5 Conclusions and Future Work -- References -- Applying Data Mining Techniques to Identify Success Factors in Students Enrolled in Distance Learning: A Case Study -- Abstract -- 1 Introduction -- 2 Methodology -- 3 Data Collection -- 4 Results and Interpretation -- 5 Conclusions -- References -- Automatic Evaluation of Music Students -- 1 Introduction -- 2 Feature Extraction -- 2.1 The Constant Q Transform -- 3 Aligning Techniques -- 3.1 Dynamic Time Warping (DTW) -- 3.2 Levenshtein Distance -- 3.3 The LCS Distance -- 4 Description of the Automatic Evaluation System -- 4.1 Front-End Module -- 4.2 Evaluation Module -- 5 Experiments -- 6 Conclusions and Future Work -- References -- On the Extended Specific Objectivity of Some Pseudo--Rasch Models Applied in Testing Scenarios -- 1 Introduction -- 1.1 Standard Psychometric Models and Specific Objectivity -- 1.2 Generalized Models.
2 Analysis of the Proposed Models -- 2.1 Behavior of the Extended 6PL Rasch's Model -- 2.2 The Extended 6PL Rasch's Model and Specific Objectivity -- 2.3 An Improved and More Flexible 6PL Model -- 2.4 The Flexible 6PL Model and Specific Objectivity -- 3 Simulation Results -- 3.1 Complete Simulation Process -- 3.2 Partial Simulation Process -- 3.3 Presentation of Experimental Results -- 3.4 Computation of Item's Discriminant -- 3.5 Abilities and Parameters Estimation -- 4 Conclusion -- References -- Algorithms and Machine Learning Techniques in Collaborative Group Formation -- Abstract -- 1 Introduction -- 2 Applied Approches in Collaborative Group Formation -- 3 Analysis and Comparison of the Applied Approaches -- 4 Conclusions -- Acknowledgements -- References -- Biomedical Applications -- An Architecture Proposal Based in Intelligent Algorithms for Motifs Discovery in Genetic Expressions -- Abstract -- 1 Introduction -- 2 Motifs -- 2.1 Deterministic Model -- 2.2 Probabilistic Model -- 2.3 Motif Recognition -- 3 Implementation of the Architecture -- 3.1 Genetic Algorithm -- 3.2 BlastP -- 3.3 Conversion .XML to .FASTA -- 3.4 CD-Hit -- 3.5 MUSCLE -- 3.6 HMMER -- 4 Conclusion and Future Work -- References -- A Kernel-Based Predictive Model for Guillain-Barré Syndrome -- 1 Introduction -- 2 Materials and Methods -- 2.1 Data -- 2.2 Multiclass Classification -- 2.3 Support Vector Machines (SVM) -- 2.4 Performance Measures -- 3 Experimental Design -- 3.1 10-FCV -- 3.2 Train-Test -- 3.3 C4.5 -- 3.4 SVM Parameter Optimization -- 4 Results and Discussion -- 5 Conclusions -- References -- Feature Selection in Spectroscopy Brain Cancer Data -- 1 Introduction -- 2 Literature Review -- 3 Class-Separability Feature Selection -- 4 Block-Contiguous Feature Selection -- 5 Experimental Settings -- 6 Experimental Results -- 6.1 CSFS Results -- 6.2 BCFS Results.
6.3 Metabolic Interpretation.
Record Nr. UNISA-996466233703316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Advances in Artificial Intelligence and Its Applications : 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part II / / edited by Obdulia Pichardo Lagunas, Oscar Herrera Alcántara, Gustavo Arroyo Figueroa
Advances in Artificial Intelligence and Its Applications : 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part II / / edited by Obdulia Pichardo Lagunas, Oscar Herrera Alcántara, Gustavo Arroyo Figueroa
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (XXIX, 619 p. 197 illus. in color.)
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-319-27101-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Conference Organization -- Contents - Part II -- Contents - Part I -- Invited Papers -- Measuring Non-compositionality of Verb-Noun Collocations Using Lexical Functions and WordNet Hypernyms -- Abstract -- 1 Introduction -- 2 Related Work on Non-compositionality of Collocations -- 3 Lexical Functions as a Concept of the Meaning-Text Theory -- 3.1 Meaning-Text Theory (MTT) -- 3.2 Lexical Function -- 3.3 Lexical Functions in Verb-Noun Collocations -- 4 Non-compositionality in Terms of Lexical Function Detection Using WordNet Hypernyms -- 5 Experiments -- 6 Results and Discussion -- 7 Conclusions and Future Work -- Acknowledgements -- References -- Fuzzy-Probabilistic Estimation of the Electric Vehicles Energy Consumption -- Abstract -- 1 Introduction -- 2 Methodology -- 2.1 Framework -- 2.2 Fuzzy-Probabilistic Methodology -- 3 Numerical Example -- 4 Conclusions -- References -- Natural Language Processing Applications -- Data-Driven Unsupervised Evaluation of Automatic Text Summarization Systems -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Our Approach -- 4 Data -- 5 Experiments. Results. Discussion -- 5.1 Experiment with Informants -- 5.2 Preliminary Evaluation of the Summaries -- 5.3 Automatic Keywords Extraction -- 5.4 Comparison of Keywords Given by Different Groups of Informants -- 6 Conclusion and Future Work -- Acknowledgements -- References -- Extractive Single-Document Summarization Based on Global-Best Harmony Search and a Greedy Local Optimizer -- Abstract -- 1 Introduction -- 2 Problem Statement and Its Mathematical Formulation -- 3 The Proposed Memetic Algorithm -- 3.1 Greedy Local Optimizer -- 4 Experiment and Evaluation -- 4.1 Parameter Tuning -- 4.2 Results -- 5 Conclusions and Future Work -- Acknowledgments -- References -- SVD-LDA: Topic Modeling for Full-Text Recommender Systems -- 1 Introduction.
2 LDA and sLDA -- 2.1 Latent Dirichlet Allocation -- 2.2 Supervised LDA -- 3 SVD in Recommender Systems -- 3.1 Basic SVD Model in Collaborative Filtering -- 3.2 Cold Start, Additional Information, and Content -- 4 SVD-LDA -- 4.1 SVD-LDA: Exact Sampling -- 4.2 SVD-LDA: First Order Approximation -- 4.3 Variations of SVD-LDA -- 5 Evaluation -- 5.1 Dataset -- 5.2 RMSE Improves with LDA Training -- 5.3 SVD-LDA Recommends Better Than SVD -- 5.4 Predictors for Demographic Clusters -- 6 Conclusion -- References -- Movies Recommendation Based on Opinion Mining in Twitter -- 1 Introduction -- 2 Classification Models for Opinion Mining -- 2.1 Tokenization -- 2.2 Pre-processing -- 2.3 Classification Models -- 3 Experimental Results -- 3.1 Data Collection -- 3.2 Tokenization Strategies -- 3.3 Pre-processing Strategies -- 3.4 Movies Recommendation -- 4 Related Work -- 5 Conclusions and Future Work -- References -- Inferring Sentiment-Based Priors in Topic Models -- 1 Introduction -- 2 Latent Dirichlet Allocation -- 2.1 Notation and the Basic LDA Model -- 2.2 LDA Extensions -- 2.3 Topic Models for Sentiment Analysis -- 3 Learning Sentiment Priors with the EM Algorithm -- 4 Experimental Results -- 5 Conclusion -- References -- Analysis of Negation Cues for Semantic Orientation Classification of Reviews in Spanish -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Corpus and Linguistic Knowledge -- 3.1 Review Texts Corpus -- 3.2 Linguistic Knowledge -- 3.3 Negation -- 4 Methods for Semantic Orientation Classification -- 4.1 Unsupervised Method -- 4.2 Supervised Method -- 5 Results and Discussion -- 5.1 Unsupervised Method -- 5.2 Supervised Method -- 5.3 Discussion -- 6 Conclusions -- Acknowledgments -- References -- Detecting Social Spammers in Colombia 2014 Presidential Election -- 1 Introduction -- 2 Related Work -- 3 Background on the Colombian Election.
4 Data Collection and Ground Truth Creation -- 4.1 Dataset -- 4.2 Ground Truth -- 5 Detecting Social Spammers -- 5.1 Features -- 5.2 Semi-Supervised Detection -- 5.3 Supervised Detection -- 6 Discussion -- 7 Conclusions and Future Work -- References -- NLP Methodology as Guidance and Verification of the Data Mining of Survey ENSANUT 2012 -- Abstract -- 1 Introduction -- 2 Data -- 3 NLP Pipeline -- 3.1 Text Annotation -- 3.2 Lemma Classification by Collocation -- 3.3 Merging Lists of Lemmas and Adding Intentionality -- 3.4 Corpus Division for Focused Queries -- 3.5 Feature Extraction -- 4 Model and Results -- 4.1 Pre-processing Data Using the Selected Features -- 4.2 Frequency Histograms -- 4.3 Epsilon and Scores -- 4.4 Testing the Classifier -- 4.5 Confusion Matrix of the Test Set -- 5 Conclusion -- Acknowledgments -- References -- Educational Applications -- A Comparative Framework to Evaluate Recommender Systems in Technology Enhanced Learning: a Case Study -- 1 Introduction -- 2 Background -- 3 The Proposed Comparative Framework -- 4 The Framework in Action: A Case Study -- 4.1 Brief Overview of Subject Systems -- 5 Performance Analysis -- 5.1 Google -- 5.2 Slideshare -- 5.3 Youtube -- 5.4 Connexions -- 5.5 MERLOT and ARIADNE -- 6 Summarising the Results: Comparative Analysis -- 6.1 Limitations of the Experiment -- 7 Conclusions and Future Work -- References -- An Affective and Cognitive Tutoring System for Learning Programming -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Java Sensei Architecture -- 4 Affective Recognition and Feedback -- 5 Experiments and Results -- 6 Conclusions and Future Work -- Funding -- References -- Strategic Learning Meta-Model (SLM): Architecture of the Personalized Virtual Learning Environment (PVLE) Based on the Cloud Computing -- Abstract -- 1 Introduction -- 1.1 Conceptual Framework.
1.2 Learning Evaluation and Learning Styles -- 1.3 Personalization of Learning Assessment -- 1.4 Research Focused in Evaluation of E-Learning -- 1.5 Research Based on the Design and Application of Ontologies -- 1.6 Researches Focused on Learning Personalization and Teaching -- 1.7 Ontology for Personalized Learning Activities Based on a Cognitive Theory -- 2 Methodology -- 3 Personalized Virtual Learning Environment (PVLE) with a Ontological Model (OM) -- 3.1 LMS Architecture -- 3.2 VLE Architecture -- 3.3 Ontological Model (OM) Architecture -- 4 Study Case -- 4.1 Design of the Ontology Using the Methodology GODeM and OntoDesign Graphics Notation -- 4.2 Implementation of the Ontology Prot00E9g00E9 -- 4.3 Results -- 5 Conclusions -- References -- Open Student Model for Blended Training in the Electrical Tests Domain -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Blended Training Model -- 3.1 VRS for Electrical Test Training -- 4 Trainee Model -- 5 Conclusions and Future Work -- References -- Applying Data Mining Techniques to Identify Success Factors in Students Enrolled in Distance Learning: A Case Study -- Abstract -- 1 Introduction -- 2 Methodology -- 3 Data Collection -- 4 Results and Interpretation -- 5 Conclusions -- References -- Automatic Evaluation of Music Students -- 1 Introduction -- 2 Feature Extraction -- 2.1 The Constant Q Transform -- 3 Aligning Techniques -- 3.1 Dynamic Time Warping (DTW) -- 3.2 Levenshtein Distance -- 3.3 The LCS Distance -- 4 Description of the Automatic Evaluation System -- 4.1 Front-End Module -- 4.2 Evaluation Module -- 5 Experiments -- 6 Conclusions and Future Work -- References -- On the Extended Specific Objectivity of Some Pseudo--Rasch Models Applied in Testing Scenarios -- 1 Introduction -- 1.1 Standard Psychometric Models and Specific Objectivity -- 1.2 Generalized Models.
2 Analysis of the Proposed Models -- 2.1 Behavior of the Extended 6PL Rasch's Model -- 2.2 The Extended 6PL Rasch's Model and Specific Objectivity -- 2.3 An Improved and More Flexible 6PL Model -- 2.4 The Flexible 6PL Model and Specific Objectivity -- 3 Simulation Results -- 3.1 Complete Simulation Process -- 3.2 Partial Simulation Process -- 3.3 Presentation of Experimental Results -- 3.4 Computation of Item's Discriminant -- 3.5 Abilities and Parameters Estimation -- 4 Conclusion -- References -- Algorithms and Machine Learning Techniques in Collaborative Group Formation -- Abstract -- 1 Introduction -- 2 Applied Approches in Collaborative Group Formation -- 3 Analysis and Comparison of the Applied Approaches -- 4 Conclusions -- Acknowledgements -- References -- Biomedical Applications -- An Architecture Proposal Based in Intelligent Algorithms for Motifs Discovery in Genetic Expressions -- Abstract -- 1 Introduction -- 2 Motifs -- 2.1 Deterministic Model -- 2.2 Probabilistic Model -- 2.3 Motif Recognition -- 3 Implementation of the Architecture -- 3.1 Genetic Algorithm -- 3.2 BlastP -- 3.3 Conversion .XML to .FASTA -- 3.4 CD-Hit -- 3.5 MUSCLE -- 3.6 HMMER -- 4 Conclusion and Future Work -- References -- A Kernel-Based Predictive Model for Guillain-Barré Syndrome -- 1 Introduction -- 2 Materials and Methods -- 2.1 Data -- 2.2 Multiclass Classification -- 2.3 Support Vector Machines (SVM) -- 2.4 Performance Measures -- 3 Experimental Design -- 3.1 10-FCV -- 3.2 Train-Test -- 3.3 C4.5 -- 3.4 SVM Parameter Optimization -- 4 Results and Discussion -- 5 Conclusions -- References -- Feature Selection in Spectroscopy Brain Cancer Data -- 1 Introduction -- 2 Literature Review -- 3 Class-Separability Feature Selection -- 4 Block-Contiguous Feature Selection -- 5 Experimental Settings -- 6 Experimental Results -- 6.1 CSFS Results -- 6.2 BCFS Results.
6.3 Metabolic Interpretation.
Record Nr. UNINA-9910483969103321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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. UNINA-9910484621003321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
Advances in Artificial Intelligence and Soft Computing [[electronic resource] ] : 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part I / / edited by Grigori Sidorov, Sofía N. Galicia-Haro
Advances in Artificial Intelligence and Soft Computing [[electronic resource] ] : 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part I / / edited by Grigori Sidorov, Sofía N. Galicia-Haro
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (XXIX, 575 p. 224 illus. in color.)
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-319-27060-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Conference Organization -- Contents - Part I -- Contents - Part II -- Invited Paper -- Signs-Based vs. Symbolic Models -- Abstract -- 1 Introduction -- 2 Sign -- 3 Relations Over a Set of Signs -- 3.1 Relations Over a Set of Signs Generated by Their Images -- 3.2 Relations Over the Set of Signs Generated by Their Significances -- 3.3 Relations Over a Set of Signs Generated by Their Meanings -- 4 Operations Over a Set of Signs -- 5 Applications to Cognitive Psychology and Synthesis of Behavior -- 5.1 Actor's Model of the World -- 5.2 The Problem of Goal Setting -- 6 Conclusion -- Acknowledgments -- References -- Natural Language Processing -- SynFinder: A System for Domain-Based Detection of Synonyms Using WordNet and the Web of Data -- 1 Introduction -- 2 Background and Related Works -- 3 Structure of the System -- 3.1 Parameters of SynFinder -- 4 Experimentation -- 4.1 Methodology -- 4.2 Results -- 5 Conclusions and Future Work -- References -- Ro-PAAS -- A Resource Linked to the UAIC-Ro-Dep-Treebank -- Abstract -- 1 Introduction -- 2 Extending the Sense of the Term ``Predicate'' -- 2.1 Categories of Words Which Can Be Logical Predicates -- 2.2 The Dependency Status of Function Words -- 3 Related Works -- 4 Description of Ro-PAAS -- 4.1 The Verb ``a putea'' (Can) -- 4.2 The Content of .xml Tags -- 5 A Tool for Searching Patterns in the UAIC-RoTb: GGS (Graphical Grammar Studio) -- 6 Conclusion and Future Works -- 6.1 Increasing the Size and the Quality of Romanian Resources -- 6.2 The Old Romanian Language -- Appendix: The 4-th Pattern of Verb ``a putea'' in RoPAAS -- References -- Word-Order Analysis Based Upon Treebank Data -- 1 Introduction -- 2 Setup of the Experiment -- 2.1 HamleDT and Available Treebanks -- 2.2 PML-TQ Tree Query -- 3 Analysis of Data -- 3.1 Czech -- 3.2 English -- 3.3 Farsi -- 3.4 Comparison of Results.
3.5 Application of Results -- 4 Conclusions -- References -- Low-Level Features for Paraphrase Identification -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Data -- 4 Paraphrase Identification -- 4.1 Baselines -- 4.2 Extended Features -- 5 Evaluation -- 6 Conclusion and Future Work -- Acknowledgments -- References -- Multilingual Unsupervised Dependency Parsing with Unsupervised POS Tags -- 1 Introduction -- 2 Related Work -- 3 Unsupervised Dependency Parser -- 4 Data -- 5 Word Clustering -- 6 Experiments and Results -- 7 Conclusions -- 8 Future Work -- References -- Term Dependence Statistical Measures for Information Retrieval Tasks -- 1 Introduction -- 2 Dependence Analysis -- 2.1 Problem Statement -- 2.2 Independence Tests -- 2.3 Measures of Association or Correlation -- 3 Experimental Design and Results -- 3.1 Test Collection Description -- 3.2 Independence Test Design -- 3.3 Experimental Results Analysis -- 4 Conclusions -- References -- The Role of n-grams in Firstborns Identification -- 1 Introduction -- 2 Related Work -- 3 Data Set -- 4 Followed Methodology -- 4.1 Experimental Setup -- 4.2 Lexical Features -- 4.3 Syntactic Features -- 5 Analysis and Discussion -- 6 Conclusions -- References -- Recognition of Paralinguistic Information in Spoken Dialogue Systems for Elderly People -- 1 Introduction -- 2 Related Work -- 3 Data Used for Experimentation -- 4 Data Analysis -- 4.1 Segmentation of Interaction Recordings -- 4.2 Phenomena Selection -- 4.3 Speech Characterization -- 5 Automatic Phenomena Recognition -- 6 Differences Between Young and Older Speakers -- 7 Conclusions -- References -- Practical Measurements for Quality of Ontology Matching Applying to the OAEI Dataset -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Finding False-Positive Correspondences -- 4 Experimental Results -- 5 Conclusion -- Appendix -- References.
Automatic Phoneme Border Detection to Improve Speech Recognition -- Abstract -- 1 Introduction -- 2 Application Block Diagram -- 3 Automatic Phoneme Border Detection -- 4 Experiments and Results -- 5 Conclusion -- Acknowledgments -- References -- Logic and Multi-agent Systems -- Description Logic Programs: A Paraconsistent Relational Model Approach -- 1 Introduction -- 2 Paraconsistent Relation Model and Its Operators -- 3 Descripiton Logic Programs -- 3.1 Definite Logic Programs (P) -- 3.2 Description Logic (L) -- 3.3 Description Logic Programs (KB) -- 4 Dl-relations -- 5 Fixed-Point Semantics for Dl-programs -- 6 Conclusion -- References -- A Branch & -- Bound Algorithm to Derive a Direct Construction for Binary Covering Arrays -- 1 Introduction -- 2 Related Work -- 3 Proposed Solution -- 3.1 Generation of Covering Arrays Using Binomial Coefficients -- 3.2 A Branch and Bound Algorithm -- 3.3 The Explicit Formula -- 4 Computational Results -- 5 Conclusions -- References -- On the Model Checking of the Graded -calculus on Trees -- 1 Introduction -- 1.1 Motivations and Related Works -- 1.2 Contributions and Outline -- 2 Graded -calculus for Trees -- 3 Model Checking -- 3.1 Preliminaries -- 3.2 The Algorithm -- 4 Conclusions -- References -- Lifelong Learning Selection Hyper-heuristics for Constraint Satisfaction Problems -- 1 Introduction -- 2 Related Work -- 3 Problem Characterization and Ordering Heuristics -- 3.1 Problem State Characterization -- 3.2 Ordering Heuristics -- 4 A Lifelong Learning Selection Hyper-heuristic Model for CSPs -- 4.1 Benchmark Instances -- 5 Experiments -- 5.1 Producing Hyper-heuristics for Specific Classes of Instances -- 5.2 Producing a Hyper-heuristic for Multiple Classes of Instances -- 5.3 Discussion -- 6 Conclusion -- References -- A Parametric Polynomial Deterministic Algorithm for #2SAT -- 1 Introduction.
2 Preliminaries -- 2.1 The Constraint Graph of a 2-CF -- 3 Computing #2SAT According to the Topology of the Constrained Graph -- 3.1 #2SAT for 2-CF Representing a Path -- 3.2 #2SAT for 2-CF Whose Graph Contains Parallel Edges -- 3.3 Processing Acyclic Graphs -- 4 Formulas with Constraint Cyclic Graph -- 4.1 Example -- 5 Conclusion -- References -- A Performative-Based Information Capacity Calculation Metric for MultiAgent Interaction Protocols -- Abstract -- 1 Introduction -- 2 Discrete Noiseless Channel Modeling of MAS Communication and the Metric -- 3 Application of the Metric to Agent Communication Protocols -- 3.1 FIPA Contract Net Protocol -- 3.2 FIPA Iterated Contract Net Protocol -- 4 Results and Discussions -- 5 Conclusions -- References -- Bioinspired Algorithms -- Bio-Inspired Optimization Algorithm Based on the Self-defense Mechanism in Plants -- Abstract -- 1 Introduction -- 2 Self-defense Mechanisms of the Plants -- 3 Predator-Prey Model -- 3.1 Analysis of the Lotka and Volterra Model -- 4 Proposed Optimization Algorithm Based on the Self-defense Mechanisms of Plants -- 5 Results -- 5.1 Statistical Comparison -- 6 Conclusions -- References -- On the Use of Ant Colony Optimization for Video Games -- 1 Introduction -- 2 Ant Colony Optimization -- 2.1 Mathematical Model of ACO -- 3 Algorithm Development for the Video Game -- 4 Video Game Implementation -- 5 Results -- 6 Conclusions -- References -- A System for Political Districting in the State of Mexico -- 1 Introduction -- 2 Problem Description -- 2.1 Population Equality -- 2.2 Compactness -- 2.3 Indigenous Districts -- 2.4 Geographical Features -- 2.5 Objective Function -- 3 Heuristic Algorithms -- 3.1 Simulated Annealing -- 3.2 Simulated Annealing Adaptation -- 3.3 Artificial Bee Colony -- 3.4 Artificial Bee Colony Adaptation -- 4 IEEM's Districting System.
4.1 Geographic Visualization System -- 4.2 Simulated Annealing Module -- 4.3 Artificial Bee Colony Module -- 5 Experimental Results and Discussion -- 6 Conclusions -- References -- Particle Swarm Optimization Algorithm for Dynamic Environments -- Abstract -- 1 Introduction -- 2 Proposed Method -- 3 Experiments -- 3.1 Moving Peaks Benchmark Problem -- 3.2 Varying Shift Severity -- 3.3 Varying Number of Peaks -- 3.4 Varying Number of Dimensions -- 4 Conclusions -- References -- A Migrating Birds Optimization Algorithm for Machine-Part Cell Formation Problems -- 1 Introduction -- 2 Related Work -- 3 Problem Description -- 4 Migrating Birds Optimization -- 4.1 Natural Migration of Birds -- 4.2 Migrating Birds Optimization Method -- 5 Computational Experiments -- 6 Conclusions -- References -- Solving Manufacturing Cell Design Problems Using an Artificial Fish Swarm Algorithm -- 1 Introduction -- 2 Related Work -- 3 Manufacturing Cell Design Problem -- 4 Artificial Fish Swarm Algorithm -- 4.1 Proposed Algorithm -- 5 Experimental Result -- 6 Conclusion and Future Work -- References -- Neural Networks -- A Simple Bio-Inspired Model for Synaptogenesis in Artificial Neural Networks -- 1 Introduction -- 2 Random Neuritic Propagation -- 3 Reaction-Difussion Mechanism in Neural Networks -- 3.1 Reaction-Difussion Models Applied to Morphogenesis -- 3.2 The Gierer-Meinhardt Model of Reaction-Difussion -- 3.3 The Gierer-Meinhardt Model Implementation -- 3.4 Neuritic Branching Conditioned by Markers Concentration -- 4 Implementation and Results -- 4.1 Efferences Propagation Rules -- 4.2 Synaptogenesis -- 5 Results -- 6 Conclusions -- References -- Control by Imitation Using a Maximum Sensibility Neural Network -- 1 Introduction -- 2 Maximum Sensibility Neural Network -- 2.1 Running of MSNN -- 2.2 Training of the MSNN -- 3 Experiments -- 3.1 Plant Description.
3.2 Control Structure.
Record Nr. UNISA-996466232003316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Advances in Artificial Intelligence and Soft Computing : 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part I / / edited by Grigori Sidorov, Sofía N. Galicia-Haro
Advances in Artificial Intelligence and Soft Computing : 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part I / / edited by Grigori Sidorov, Sofía N. Galicia-Haro
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (XXIX, 575 p. 224 illus. in color.)
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-319-27060-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Conference Organization -- Contents - Part I -- Contents - Part II -- Invited Paper -- Signs-Based vs. Symbolic Models -- Abstract -- 1 Introduction -- 2 Sign -- 3 Relations Over a Set of Signs -- 3.1 Relations Over a Set of Signs Generated by Their Images -- 3.2 Relations Over the Set of Signs Generated by Their Significances -- 3.3 Relations Over a Set of Signs Generated by Their Meanings -- 4 Operations Over a Set of Signs -- 5 Applications to Cognitive Psychology and Synthesis of Behavior -- 5.1 Actor's Model of the World -- 5.2 The Problem of Goal Setting -- 6 Conclusion -- Acknowledgments -- References -- Natural Language Processing -- SynFinder: A System for Domain-Based Detection of Synonyms Using WordNet and the Web of Data -- 1 Introduction -- 2 Background and Related Works -- 3 Structure of the System -- 3.1 Parameters of SynFinder -- 4 Experimentation -- 4.1 Methodology -- 4.2 Results -- 5 Conclusions and Future Work -- References -- Ro-PAAS -- A Resource Linked to the UAIC-Ro-Dep-Treebank -- Abstract -- 1 Introduction -- 2 Extending the Sense of the Term ``Predicate'' -- 2.1 Categories of Words Which Can Be Logical Predicates -- 2.2 The Dependency Status of Function Words -- 3 Related Works -- 4 Description of Ro-PAAS -- 4.1 The Verb ``a putea'' (Can) -- 4.2 The Content of .xml Tags -- 5 A Tool for Searching Patterns in the UAIC-RoTb: GGS (Graphical Grammar Studio) -- 6 Conclusion and Future Works -- 6.1 Increasing the Size and the Quality of Romanian Resources -- 6.2 The Old Romanian Language -- Appendix: The 4-th Pattern of Verb ``a putea'' in RoPAAS -- References -- Word-Order Analysis Based Upon Treebank Data -- 1 Introduction -- 2 Setup of the Experiment -- 2.1 HamleDT and Available Treebanks -- 2.2 PML-TQ Tree Query -- 3 Analysis of Data -- 3.1 Czech -- 3.2 English -- 3.3 Farsi -- 3.4 Comparison of Results.
3.5 Application of Results -- 4 Conclusions -- References -- Low-Level Features for Paraphrase Identification -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Data -- 4 Paraphrase Identification -- 4.1 Baselines -- 4.2 Extended Features -- 5 Evaluation -- 6 Conclusion and Future Work -- Acknowledgments -- References -- Multilingual Unsupervised Dependency Parsing with Unsupervised POS Tags -- 1 Introduction -- 2 Related Work -- 3 Unsupervised Dependency Parser -- 4 Data -- 5 Word Clustering -- 6 Experiments and Results -- 7 Conclusions -- 8 Future Work -- References -- Term Dependence Statistical Measures for Information Retrieval Tasks -- 1 Introduction -- 2 Dependence Analysis -- 2.1 Problem Statement -- 2.2 Independence Tests -- 2.3 Measures of Association or Correlation -- 3 Experimental Design and Results -- 3.1 Test Collection Description -- 3.2 Independence Test Design -- 3.3 Experimental Results Analysis -- 4 Conclusions -- References -- The Role of n-grams in Firstborns Identification -- 1 Introduction -- 2 Related Work -- 3 Data Set -- 4 Followed Methodology -- 4.1 Experimental Setup -- 4.2 Lexical Features -- 4.3 Syntactic Features -- 5 Analysis and Discussion -- 6 Conclusions -- References -- Recognition of Paralinguistic Information in Spoken Dialogue Systems for Elderly People -- 1 Introduction -- 2 Related Work -- 3 Data Used for Experimentation -- 4 Data Analysis -- 4.1 Segmentation of Interaction Recordings -- 4.2 Phenomena Selection -- 4.3 Speech Characterization -- 5 Automatic Phenomena Recognition -- 6 Differences Between Young and Older Speakers -- 7 Conclusions -- References -- Practical Measurements for Quality of Ontology Matching Applying to the OAEI Dataset -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Finding False-Positive Correspondences -- 4 Experimental Results -- 5 Conclusion -- Appendix -- References.
Automatic Phoneme Border Detection to Improve Speech Recognition -- Abstract -- 1 Introduction -- 2 Application Block Diagram -- 3 Automatic Phoneme Border Detection -- 4 Experiments and Results -- 5 Conclusion -- Acknowledgments -- References -- Logic and Multi-agent Systems -- Description Logic Programs: A Paraconsistent Relational Model Approach -- 1 Introduction -- 2 Paraconsistent Relation Model and Its Operators -- 3 Descripiton Logic Programs -- 3.1 Definite Logic Programs (P) -- 3.2 Description Logic (L) -- 3.3 Description Logic Programs (KB) -- 4 Dl-relations -- 5 Fixed-Point Semantics for Dl-programs -- 6 Conclusion -- References -- A Branch & -- Bound Algorithm to Derive a Direct Construction for Binary Covering Arrays -- 1 Introduction -- 2 Related Work -- 3 Proposed Solution -- 3.1 Generation of Covering Arrays Using Binomial Coefficients -- 3.2 A Branch and Bound Algorithm -- 3.3 The Explicit Formula -- 4 Computational Results -- 5 Conclusions -- References -- On the Model Checking of the Graded -calculus on Trees -- 1 Introduction -- 1.1 Motivations and Related Works -- 1.2 Contributions and Outline -- 2 Graded -calculus for Trees -- 3 Model Checking -- 3.1 Preliminaries -- 3.2 The Algorithm -- 4 Conclusions -- References -- Lifelong Learning Selection Hyper-heuristics for Constraint Satisfaction Problems -- 1 Introduction -- 2 Related Work -- 3 Problem Characterization and Ordering Heuristics -- 3.1 Problem State Characterization -- 3.2 Ordering Heuristics -- 4 A Lifelong Learning Selection Hyper-heuristic Model for CSPs -- 4.1 Benchmark Instances -- 5 Experiments -- 5.1 Producing Hyper-heuristics for Specific Classes of Instances -- 5.2 Producing a Hyper-heuristic for Multiple Classes of Instances -- 5.3 Discussion -- 6 Conclusion -- References -- A Parametric Polynomial Deterministic Algorithm for #2SAT -- 1 Introduction.
2 Preliminaries -- 2.1 The Constraint Graph of a 2-CF -- 3 Computing #2SAT According to the Topology of the Constrained Graph -- 3.1 #2SAT for 2-CF Representing a Path -- 3.2 #2SAT for 2-CF Whose Graph Contains Parallel Edges -- 3.3 Processing Acyclic Graphs -- 4 Formulas with Constraint Cyclic Graph -- 4.1 Example -- 5 Conclusion -- References -- A Performative-Based Information Capacity Calculation Metric for MultiAgent Interaction Protocols -- Abstract -- 1 Introduction -- 2 Discrete Noiseless Channel Modeling of MAS Communication and the Metric -- 3 Application of the Metric to Agent Communication Protocols -- 3.1 FIPA Contract Net Protocol -- 3.2 FIPA Iterated Contract Net Protocol -- 4 Results and Discussions -- 5 Conclusions -- References -- Bioinspired Algorithms -- Bio-Inspired Optimization Algorithm Based on the Self-defense Mechanism in Plants -- Abstract -- 1 Introduction -- 2 Self-defense Mechanisms of the Plants -- 3 Predator-Prey Model -- 3.1 Analysis of the Lotka and Volterra Model -- 4 Proposed Optimization Algorithm Based on the Self-defense Mechanisms of Plants -- 5 Results -- 5.1 Statistical Comparison -- 6 Conclusions -- References -- On the Use of Ant Colony Optimization for Video Games -- 1 Introduction -- 2 Ant Colony Optimization -- 2.1 Mathematical Model of ACO -- 3 Algorithm Development for the Video Game -- 4 Video Game Implementation -- 5 Results -- 6 Conclusions -- References -- A System for Political Districting in the State of Mexico -- 1 Introduction -- 2 Problem Description -- 2.1 Population Equality -- 2.2 Compactness -- 2.3 Indigenous Districts -- 2.4 Geographical Features -- 2.5 Objective Function -- 3 Heuristic Algorithms -- 3.1 Simulated Annealing -- 3.2 Simulated Annealing Adaptation -- 3.3 Artificial Bee Colony -- 3.4 Artificial Bee Colony Adaptation -- 4 IEEM's Districting System.
4.1 Geographic Visualization System -- 4.2 Simulated Annealing Module -- 4.3 Artificial Bee Colony Module -- 5 Experimental Results and Discussion -- 6 Conclusions -- References -- Particle Swarm Optimization Algorithm for Dynamic Environments -- Abstract -- 1 Introduction -- 2 Proposed Method -- 3 Experiments -- 3.1 Moving Peaks Benchmark Problem -- 3.2 Varying Shift Severity -- 3.3 Varying Number of Peaks -- 3.4 Varying Number of Dimensions -- 4 Conclusions -- References -- A Migrating Birds Optimization Algorithm for Machine-Part Cell Formation Problems -- 1 Introduction -- 2 Related Work -- 3 Problem Description -- 4 Migrating Birds Optimization -- 4.1 Natural Migration of Birds -- 4.2 Migrating Birds Optimization Method -- 5 Computational Experiments -- 6 Conclusions -- References -- Solving Manufacturing Cell Design Problems Using an Artificial Fish Swarm Algorithm -- 1 Introduction -- 2 Related Work -- 3 Manufacturing Cell Design Problem -- 4 Artificial Fish Swarm Algorithm -- 4.1 Proposed Algorithm -- 5 Experimental Result -- 6 Conclusion and Future Work -- References -- Neural Networks -- A Simple Bio-Inspired Model for Synaptogenesis in Artificial Neural Networks -- 1 Introduction -- 2 Random Neuritic Propagation -- 3 Reaction-Difussion Mechanism in Neural Networks -- 3.1 Reaction-Difussion Models Applied to Morphogenesis -- 3.2 The Gierer-Meinhardt Model of Reaction-Difussion -- 3.3 The Gierer-Meinhardt Model Implementation -- 3.4 Neuritic Branching Conditioned by Markers Concentration -- 4 Implementation and Results -- 4.1 Efferences Propagation Rules -- 4.2 Synaptogenesis -- 5 Results -- 6 Conclusions -- References -- Control by Imitation Using a Maximum Sensibility Neural Network -- 1 Introduction -- 2 Maximum Sensibility Neural Network -- 2.1 Running of MSNN -- 2.2 Training of the MSNN -- 3 Experiments -- 3.1 Plant Description.
3.2 Control Structure.
Record Nr. UNINA-9910484244203321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Advances in Bioengineering and Clinical Engineering [[electronic resource] ] : Proceedings of the XXIII Argentinian Congress of Bioengineering (SABI 2022) and the XII Clinical Engineering Conference, September 13–16, 2022, San Juan, Argentina / / edited by Natalia M. Lopez, Emanuel Tello
Advances in Bioengineering and Clinical Engineering [[electronic resource] ] : Proceedings of the XXIII Argentinian Congress of Bioengineering (SABI 2022) and the XII Clinical Engineering Conference, September 13–16, 2022, San Juan, Argentina / / edited by Natalia M. Lopez, Emanuel Tello
Autore Lopez Natalia M
Edizione [1st ed. 2024.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024
Descrizione fisica 1 online resource (537 pages)
Disciplina 610.28
Altri autori (Persone) TelloEmanuel
Collana IFMBE Proceedings
Soggetto topico Biomedical engineering
Signal processing
Medical physics
Medical informatics
Biomedical Devices and Instrumentation
Signal, Speech and Image Processing
Medical Physics
Health Informatics
ISBN 3-031-51723-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Evaluation of Anticoagulant Activity of Heparin Loaded in PCL Fibers Using Thromboelastography -- Human Amniotic Membrane Allograft: Comparison of Two Preservation Methods in Biocompatibility Assays -- Coupling Media in Microwave Imaging: Dielectric Properties and Temperature Dependence -- Extraction and Purification of Collagen for 3D Printing of Scaffolds with Hyaluronic Acid And Chemical Crosslinking -- Design and Evaluation of Graphene Oxide/Collagen Scaffolds for Their Application in Tissue Engineering -- Upper Limb Biomechanical Analysis Applied to Patients with Stroke -- In Vivo Obtention and Representation of Muscle’s Paths from Magnetic Resonance Images -- 3D Biomechanical Modeling Applied to Taekwondo -- Mirror Visual Feedback as a Tool for Training Users to Achieve Control over the BCI -- Functional Design of Software to Obtain Spatio- Temporal Parameters of Human Gait -- Analysis of Coordination Variability: Pilot Study -- Potential Effects of Physical Activity During Menopause According to a Computational Model of Bone Remodeling Applied to the Femur -- Trunk Orthosis and Interactivity -- Knee Prostheses Modelling: Deformation of the Low Rigidity Component -- Automatic Programs for Image Quality Control in Radiodiagnostics.
Record Nr. UNINA-9910838276903321
Lopez Natalia M  
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Advances in Bioinformatics and Computational Biology [[electronic resource] ] : Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005, Proceedings / / edited by Joao Carlos Setubal, Sergio Verjovski-Almeida
Advances in Bioinformatics and Computational Biology [[electronic resource] ] : Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005, Proceedings / / edited by Joao Carlos Setubal, Sergio Verjovski-Almeida
Edizione [1st ed. 2005.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
Descrizione fisica 1 online resource (XIV, 258 p.)
Disciplina 005.74
Collana Lecture Notes in Bioinformatics
Soggetto topico Database management
Bioinformatics
Bioinformatics 
Computational biology 
Health informatics
Artificial intelligence
Algorithms
Database Management
Computer Appl. in Life Sciences
Health Informatics
Artificial Intelligence
Algorithm Analysis and Problem Complexity
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Differential Gene Expression in the Auditory System -- Searching for Non-coding RNA -- Cyberinfrastructure for PathoSystems Biology -- Analysis of Genomic Tiling Microarrays for Transcript Mapping and the Identification of Transcription Factor Binding Sites -- Full Papers -- Perturbing Thermodynamically Unfeasible Metabolic Networks -- Protein Cellular Localization with Multiclass Support Vector Machines and Decision Trees -- Combining One-Class Classifiers for Robust Novelty Detection in Gene Expression Data -- Evaluation of the Contents of Partitions Obtained with Clustering Gene Expression Data -- Machine Learning Techniques for Predicting Bacillus subtilis Promoters -- An Improved Hidden Markov Model Methodology to Discover Prokaryotic Promoters -- Modeling and Property Verification of Lactose Operon Regulation -- YAMONES: A Computational Architecture for Molecular Network Simulation -- Structure Prediction and Docking Studies of Chorismate Synthase from Mycobacterium Tuberculosis -- Analysis of the Effects of Multiple Sequence Alignments in Protein Secondary Structure Prediction -- Tests of Automatic Annotation Using KOG Proteins and ESTs from 4 Eukariotic Organisms -- Diet as a Pressure on the Amino Acid Content of Proteomes -- A Method for Comparing Three Genomes -- Comparison of Genomic DNA to cDNA Alignment Methods -- Segmentation and Centromere Locating Methods Applied to Fish Chromosomes Images -- Extended Abstracts -- Sequence Motif Identification and Protein Family Classification Using Probabilistic Trees -- Prediction of Myotoxic and Neurotoxic Activities in Phospholipases A2 from Primary Sequence Analysis -- Genomics and Gene Expression Management Tools for the Schistosoma Mansoni cDNA Microarray Project -- SAM Method as an Approach to Select Candidates for Human Prostate Cancer Markers -- New EST Trimming Strategy -- A Modification of the Landau-Vishkin Algorithm Computing Longest Common Extensions via Suffix Arrays -- The BioPAUÁ Project: A Portal for Molecular Dynamics Using Grid Environment -- Analysis of Structure Prediction Tools in Mutated MeCP-2 -- Protein Loop Classification Using Artificial Neural Networks -- VIZ – A Graphical Open-Source Architecture for Use in Structural Bioinformatics -- Selection of Data Sets of Motifs as Attributes in the Process of Automating the Annotation of Proteins’ Keywords -- Bioinformatics Tools for HIV-1 Identification in Southern Brazilian States -- Fact and Task Oriented System for Genome Assembly and Annotation -- A Clustering Strategy to Find Similarities in Mycoplasma Promoters -- Gene Prediction by Syntenic Alignment -- Real Time Immersive Visualization and Manipulation of the Visible Human Data Set.
Record Nr. UNISA-996466169703316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Advances in Bioinformatics and Computational Biology : Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005, Proceedings / / edited by Joao Carlos Setubal, Sergio Verjovski-Almeida
Advances in Bioinformatics and Computational Biology : Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005, Proceedings / / edited by Joao Carlos Setubal, Sergio Verjovski-Almeida
Edizione [1st ed. 2005.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
Descrizione fisica 1 online resource (XIV, 258 p.)
Disciplina 005.74
Collana Lecture Notes in Bioinformatics
Soggetto topico Database management
Bioinformatics
Bioinformatics 
Computational biology 
Health informatics
Artificial intelligence
Algorithms
Database Management
Computer Appl. in Life Sciences
Health Informatics
Artificial Intelligence
Algorithm Analysis and Problem Complexity
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Differential Gene Expression in the Auditory System -- Searching for Non-coding RNA -- Cyberinfrastructure for PathoSystems Biology -- Analysis of Genomic Tiling Microarrays for Transcript Mapping and the Identification of Transcription Factor Binding Sites -- Full Papers -- Perturbing Thermodynamically Unfeasible Metabolic Networks -- Protein Cellular Localization with Multiclass Support Vector Machines and Decision Trees -- Combining One-Class Classifiers for Robust Novelty Detection in Gene Expression Data -- Evaluation of the Contents of Partitions Obtained with Clustering Gene Expression Data -- Machine Learning Techniques for Predicting Bacillus subtilis Promoters -- An Improved Hidden Markov Model Methodology to Discover Prokaryotic Promoters -- Modeling and Property Verification of Lactose Operon Regulation -- YAMONES: A Computational Architecture for Molecular Network Simulation -- Structure Prediction and Docking Studies of Chorismate Synthase from Mycobacterium Tuberculosis -- Analysis of the Effects of Multiple Sequence Alignments in Protein Secondary Structure Prediction -- Tests of Automatic Annotation Using KOG Proteins and ESTs from 4 Eukariotic Organisms -- Diet as a Pressure on the Amino Acid Content of Proteomes -- A Method for Comparing Three Genomes -- Comparison of Genomic DNA to cDNA Alignment Methods -- Segmentation and Centromere Locating Methods Applied to Fish Chromosomes Images -- Extended Abstracts -- Sequence Motif Identification and Protein Family Classification Using Probabilistic Trees -- Prediction of Myotoxic and Neurotoxic Activities in Phospholipases A2 from Primary Sequence Analysis -- Genomics and Gene Expression Management Tools for the Schistosoma Mansoni cDNA Microarray Project -- SAM Method as an Approach to Select Candidates for Human Prostate Cancer Markers -- New EST Trimming Strategy -- A Modification of the Landau-Vishkin Algorithm Computing Longest Common Extensions via Suffix Arrays -- The BioPAUÁ Project: A Portal for Molecular Dynamics Using Grid Environment -- Analysis of Structure Prediction Tools in Mutated MeCP-2 -- Protein Loop Classification Using Artificial Neural Networks -- VIZ – A Graphical Open-Source Architecture for Use in Structural Bioinformatics -- Selection of Data Sets of Motifs as Attributes in the Process of Automating the Annotation of Proteins’ Keywords -- Bioinformatics Tools for HIV-1 Identification in Southern Brazilian States -- Fact and Task Oriented System for Genome Assembly and Annotation -- A Clustering Strategy to Find Similarities in Mycoplasma Promoters -- Gene Prediction by Syntenic Alignment -- Real Time Immersive Visualization and Manipulation of the Visible Human Data Set.
Record Nr. UNINA-9910483990903321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui