Vai al contenuto principale della pagina
Titolo: |
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
![]() |
Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Edizione: | 1st ed. 2015. |
Descrizione fisica: | 1 online resource (XXIX, 575 p. 224 illus. in color.) |
Disciplina: | 006.3 |
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 | |
Persona (resp. second.): | SidorovGrigori |
Galicia-HaroSofía N | |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
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. | |
Sommario/riassunto: | The two volume set LNAI 9413 + LNAI 9414 constitutes the proceedings of the 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, held in Cuernavaca, Morelos, Mexico, in October 2015. The total of 98 papers presented in these proceedings was carefully reviewed and selected from 297 submissions. They were organized in topical sections named: natural language processing; logic and multi-agent systems; bioinspired algorithms; neural networks; evolutionary algorithms; fuzzy logic; machine learning and data mining; natural language processing applications; educational applications; biomedical applications; image processing and computer vision; search and optimization; forecasting; and intelligent applications. |
Titolo autorizzato: | Advances in Artificial Intelligence and Soft Computing ![]() |
ISBN: | 3-319-27060-5 |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910484244203321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilitĂ qui |