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.
Advancements in Interdisciplinary Research [[electronic resource] ] : First International Conference, AIR 2022, Prayagraj, India, May 6–7, 2022, Revised Selected Papers / / edited by Vijayan Sugumaran, Divya Upadhyay, Shanu Sharma
| Advancements in Interdisciplinary Research [[electronic resource] ] : First International Conference, AIR 2022, Prayagraj, India, May 6–7, 2022, Revised Selected Papers / / edited by Vijayan Sugumaran, Divya Upadhyay, Shanu Sharma |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (562 pages) |
| Disciplina | 006.3 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Artificial intelligence
Image processing—Digital techniques Computer vision Computer engineering Computer networks Social sciences—Data processing Application software Software engineering Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Computer Engineering and Networks Computer Application in Social and Behavioral Sciences Computer and Information Systems Applications Software Engineering |
| ISBN | 3-031-23724-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Novel Technologies enabled Secured Privacy Models and Optimized Networking Infrastructures toward Secure Industries -- Developments towards Sustainable Healthcare Sector -- Machine Learning and Deep Learning Enabled Applications in Different Sectors -- Robotics and Computer Vision for Intelligent Automation in Industries -- Trending Technologies: Frameworks and Applications focusing Real Life Issues. |
| Record Nr. | UNINA-9910645893403321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advancements in Interdisciplinary Research [[electronic resource] ] : First International Conference, AIR 2022, Prayagraj, India, May 6–7, 2022, Revised Selected Papers / / edited by Vijayan Sugumaran, Divya Upadhyay, Shanu Sharma
| Advancements in Interdisciplinary Research [[electronic resource] ] : First International Conference, AIR 2022, Prayagraj, India, May 6–7, 2022, Revised Selected Papers / / edited by Vijayan Sugumaran, Divya Upadhyay, Shanu Sharma |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (562 pages) |
| Disciplina | 006.3 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Artificial intelligence
Image processing—Digital techniques Computer vision Computer engineering Computer networks Social sciences—Data processing Application software Software engineering Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Computer Engineering and Networks Computer Application in Social and Behavioral Sciences Computer and Information Systems Applications Software Engineering |
| ISBN | 3-031-23724-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Novel Technologies enabled Secured Privacy Models and Optimized Networking Infrastructures toward Secure Industries -- Developments towards Sustainable Healthcare Sector -- Machine Learning and Deep Learning Enabled Applications in Different Sectors -- Robotics and Computer Vision for Intelligent Automation in Industries -- Trending Technologies: Frameworks and Applications focusing Real Life Issues. |
| Record Nr. | UNISA-996508666403316 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 [[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. | UNINA-9910484050003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Artificial Intelligence [[electronic resource] ] : 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I / / edited by Ildar Batyrshin, Grigori Sidorov
| Advances in Artificial Intelligence [[electronic resource] ] : 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I / / edited by Ildar Batyrshin, Grigori Sidorov |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XXV, 596 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Optical data processing Application software Pattern recognition Data mining Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Image Processing and Computer Vision Information Systems Applications (incl. Internet) Pattern Recognition Data Mining and Knowledge Discovery |
| ISBN | 3-642-25324-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Title -- Preface -- Organization -- Table of Contents -- Automated Reasoning and Multi-Agent Systems -- Case Studies on Invariant Generation Using a Saturation Theorem Prover -- Introduction -- Preliminaries -- Symbol Elimination and Invariant Generation in Vampire -- Program Analysis in Vampire -- Theory Reasoning in Vampire -- Symbol Elimination in Vampire -- Pruning Generated Invariants -- Proving Invariants, Postconditions, and Assertions -- Experimental Results -- Challenging Benchmarks -- Industrial Examples -- Analysis of Experiments -- Related Work -- Conclusions -- References -- Characterization of Argumentation Semantics in Terms of the MMr Semantics -- Introduction -- Background -- Syntax and Some Operations -- The MMr Semantics -- Argumentation Theory -- Relation between CF2 and MMr -- Preferred Extension and MMr Semantics -- Conclusions -- References -- Learning Probabilistic Description Logics: A Framework and Algorithms -- Introduction -- Basics -- Description Logics -- Probabilistic Description Logics and crALC -- Learning Description Logics -- Learning with the PDL crALC -- The Probabilistic Score Function -- The Algorithm to Learn Probabilistic Terminologies -- Experiments -- Experiments on Description Logic Learning -- Experiments on Learning Probabilistic Terminologies -- Conclusion -- References -- Belief Merging Using Normal Forms -- Introduction -- Preliminaries -- Normal Partial Satisfiability -- Comparing Results -- Postulates -- Algorithm PS-Merge -- Prime Implicant-Based Merging -- Conclusion -- References -- Toward Justifying Actions with Logically and Socially Acceptable Reasons -- Introduction -- Background and Objectives -- Related Work -- Motivating Example -- Logical Preliminaries -- Structuring Arguments and Defeat Functions -- Practical and Theoretical Arguments.
Theoretical, Preference-Based and Welfare-Based Defeats -- Justifying Logically and Socially Acceptable Reasons -- Analyzing Structured Practical Argumentation Frameworks -- Analyzing Layered Practical Argumentation Frameworks -- Illustrative Example -- Conclusions and Future Work -- References -- A Complex Social System Simulation Using Type-2 Fuzzy Logic and Multiagent System -- Introduction -- Representation of Uncertainty in a MAS -- Simulation of a Social Complex System -- Interactions between Agents -- Use of Type-2 Fuzzy Logic -- Simulation Results -- Conclusions and Future Work -- References -- Computing Mobile Agent Routes with Node-Wise Constraints in Distributed Communication Systems -- Introduction -- Problem Formulation -- Algorithm Description -- Dynamic Programming (DP) Algorithm -- General Description of the FPTAS -- Stage A: Finding Preliminary Lower and Upper Bounds for PN1 -- Stage B: Finding Improved Bounds for PN1 -- Stage C: The \epsilon-Approximation Algorithm -- Discussion and Concluding Remarks -- References -- Collaborative Redundant Agents: Modeling the Dependences in the Diversity of the Agents' Errors -- Introduction -- Related Work -- A Model of Dependences for Collaborative Agents -- Experiments and Analyses -- Conclusions and Future Work -- Modeling and Using Dependences in Trust and Reputation Networks -- References -- Strategy Patterns Prediction Model (SPPM) -- Introduction -- RoboCup 2D Soccer Simulator -- Knowledge Base Creation -- In-Game Features -- Results Obtained -- Conclusions and Further Work -- References -- Fuzzy Case-Based Reasoning for Managing Strategic and Tactical Reasoning in StarCraft -- Introduction -- Related Work -- Strategic Reasoning -- Strategy Selection -- Case Representation for Strategies -- Methodology to Build the Case Base -- Matching Treat -- Tactical Reasoning. Abstraction of the Space -- Fuzzy Case Representation -- Fuzzy Sets and Case Base -- Fuzzy Matching Method -- Experiments and Results -- Conclusions and Future Work -- References -- Problem Solving and Machine Learning -- Variable and Value Ordering Decision Matrix Hyper-heuristics: A Local Improvement Approach -- Introduction -- Solution Approach -- Variable and Value Ordering -- CSP Instances and the Problem State Representation -- The Decision Matrix Hyper-heuristic and the Local Improvement Approach -- Experiments and Results -- Experiment I -- Experiment II -- Experiment III -- Conclusions -- References -- Improving the Performance of Heuristic Algorithms Based on Causal Inference -- Introduction -- Learning Explanations through Causal Inference -- Causal Models -- Learning Causal Models from Data -- Causal Analysis of Parameters in WABP Algorithm -- Weight Annealing Algorithm for the Bin Packing Problem -- Experimental Design -- Learning a Causal Model from the Experimental Data -- Conclusions and Future Work -- References -- Fuzzified Tree Search in Real Domain Games -- Introduction -- Current Situation in Game Tree Search -- The Fuzzy Approach -- The Fuzzified Search Algorithm -- Game Setup -- Experimental Results -- Conclusions and Future Work -- References -- On Generating Templates for Hypothesis in Inductive Logic Programming -- Introduction -- Background -- Incremental Template Generation -- History-Driven Tabu Template Generation -- Stochastic Extension of History-Driven Tabu Template Generation -- Experimental Results -- Conclusions -- References -- Towards Building a Masquerade Detection Method Based on User File System Navigation -- Introduction -- Masquerade Detection -- The SEA Dataset -- Masquerade Detection Mechanisms: An Overview -- Navigation Structures -- Access Graph -- Directory Graph -- Some Preliminary Results. Construction- and Validation-Masquerade Datasets -- Experimentation Results -- Discussion -- Conclusions -- References -- A Fast SVM Training Algorithm Based on a Decision Tree Data Filter -- Introduction -- Preliminaries -- Support Vector Machines -- Decision Trees -- Implementing a Data Filter Algorithm -- Algorithm Description -- SVM Training Based on Data Filter -- Experimental Results and Comparison -- Data Sets -- Classification Accuracy and Training Time -- Conclusions and Future Work -- References -- Optimal Shortening of Covering Arrays -- Introduction -- Problem Definition -- Related Work -- The OSCAR Problem Is NP-Complete -- Algorithms to Solve the OSCAR Problem -- Greedy Algorithm to Solve the OSCAR Problem -- Exact Algorithm to Solve OSCAR Problem -- Experimentation and Results -- Conclusions -- References -- An Exact Approach to Maximize the Number of Wild Cards in a Covering Array -- Introduction -- Background -- Exact Approach for Wild Card Detection -- Symbol Fixing Process -- Exact Algorithm for Wild Card Identification: wcBBCA -- Experimental Results -- Experiment 1: Identification of Wild Cards in a CA Benchmark -- Experiment 2: Wild Card Profile Detection for Larger CAs -- Experiment 3: Diversity in the Wild Card Profiles -- Conclusions -- References -- Intelligent Learning System Based on SCORM Learning Objects -- Introduction -- SCORM Sequencing -- Intelligent Tutoring Systems -- Sequencing and Navigation in ITS -- Using Probabilistic Graphical Models for Adaptive Sequence -- Using Decision Networks in the Sequencing and Navigation of Los -- Intelligent Learning System Based on Learning Objects -- General Architecture of the System -- Domain Knowledge Model -- Tutor Module -- Case Study -- Description of the Evaluation Process -- Results and Discussion -- Model Validation in Electrical Sector -- Conclusions -- References. Natural Language Processing -- A Weighted Profile Intersection Measure for Profile-Based Authorship Attribution -- Introduction -- Related Work -- Proposed Method -- Experimental Evaluation -- Authorship Attribution Data Sets -- CNG-SPI vs CNG-WPI -- CNG-SPI vs Classification-based methods -- Conclusions -- References -- A New General Grammar Formalism for Parsing -- Introduction -- Grammatical Framework -- ConstrainedW-Grammars -- Probabilistic CW-Grammars -- Learning CW-Grammars from Tree-Banks -- Some Further Technical Notions -- Capturing State of the Art Parsers -- Bilexical Grammars -- Markov Rules -- Stochastic Tree Substitution Grammars -- References -- Contextual Semantic Processing for a Spanish Dialogue System Using Markov Logic -- Introduction -- Dialogue Models -- Semantic Processing -- Word Enhanced Spotting -- Markov Logic -- Corpus -- Experiments -- Exploratory and Baseline Experiments -- Context Experiments -- Results -- Conclusions -- References -- A Statistics-Based Semantic Textual Entailment System -- Introduction -- Related Work -- Universal Networking Language -- System Description -- UNL En-Conversion Module -- Pre-processing Module -- Scoring Module -- Decision Module -- Experimental Results -- Error Analysis -- Conclusions -- References -- Semantic Model for Improving the Performance of Natural Language Interfaces to Databases -- Introduction -- Background -- Problems in Queries -- Semantically Enriched Database Modeling -- Grammatical Descriptors -- Entities -- Attributes -- Relationships -- Specialization and Generalization -- SEM Representation -- Case Study -- Final Remarks and Future Work -- References -- Modular Natural Language Processing Using Declarative Attribute Grammars -- Introduction -- General Notation -- Underlying Foundation -- Grammars, Top-Down Parser and Combinators. Declarative and Executable Attribute Grammars. |
| Record Nr. | UNISA-996465683203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Artificial Intelligence [[electronic resource] ] : 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I / / edited by Grigori Sidorov, Arturo Hernández Aguirre, Carlos Alberto Reyes Garcia
| Advances in Artificial Intelligence [[electronic resource] ] : 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I / / edited by Grigori Sidorov, Arturo Hernández Aguirre, Carlos Alberto Reyes Garcia |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XXIII, 479 p. 190 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Optical data processing Application software Pattern recognition Data mining Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Image Processing and Computer Vision Information Systems Applications (incl. Internet) Pattern Recognition Data Mining and Knowledge Discovery |
| ISBN | 3-642-16761-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Some Encounters on the Productive Use of a Failed Proof Attempt or a Counterexample -- Natural Language Processing -- Discourse Segmentation for Spanish Based on Shallow Parsing -- Towards Document Plagiarism Detection Based on the Relevance and Fragmentation of the Reused Text -- Lexicon Based Sentiment Analysis of Urdu Text Using SentiUnits -- A Semantic Oriented Approach to Textual Entailment Using WordNet-Based Measures -- On Managing Collaborative Dialogue Using an Agent-Based Architecture -- Dialog Structure Automatic Modeling -- A Probabilistic Model Based on n-Grams for Bilingual Word Sense Disambiguation -- Information Retrieval with a Simplified Conceptual Graph-Like Representation -- Teaching a Robot to Perform Tasks with Voice Commands -- Music Composition Based on Linguistic Approach -- Robotics, Planning and Scheduling -- A Practical Robot Coverage Algorithm for Unknown Environments -- An Algorithm for the Automatic Generation of Human-Like Motions Based on Examples -- Line Maps in Cluttered Environments -- Fuzzy Cognitive Maps for Modeling Complex Systems -- Semantic Representation and Management of Student Models: An Approach to Adapt Lecture Sequencing to Enhance Learning -- An Effective Heuristic for the No-Wait Flowshop with Sequence-Dependent Setup Times Problem -- Optimizing Alternatives in Precedence Networks -- AI-Based Integrated Scheduling of Production and Transportation Operations within Military Supply Chains -- Turbo Codification Techniques for Error Control in a Communication Channel -- A New Graphical Recursive Pruning Method for the Incremental Pruning Algorithm -- A New Pruning Method for Incremental Pruning Algorithm Using a Sweeping Scan-Line through the Belief Space -- POMDP Filter: Pruning POMDP Value Functions with the Kaczmarz Iterative Method -- Computer Vision and Image Processing -- Testing Image Segmentation for Topological SLAM with Omnidirectional Images -- Automatic Image Annotation Using Multiple Grid Segmentation -- Spatio-temporal Image Tracking Based on Optical Flow and Clustering: An Endoneurosonographic Application -- One Trilateral Filter Based on Surface Normal -- Beta-Measure for Probabilistic Segmentation -- Robust Spatial Regularization and Velocity Layer Separation for Optical Flow Computation on Transparent Sequences -- SAR Image Denoising Using the Non-Subsampled Contourlet Transform and Morphological Operators -- Logic and Distributed Systems -- Scheme-Based Synthesis of Inductive Theories -- A Possibilistic Intuitionistic Logic -- Jason Induction of Logical Decision Trees: A Learning Library and Its Application to Commitment -- Extending Soft Arc Consistency Algorithms to Non-invertible Semirings -- Frequency Transition Based Upon Dynamic Consensus for a Distributed System -- AI-Based Medical Application -- Towards Ubiquitous Acquisition and Processing of Gait Parameters -- Intelligent Wheelchair and Virtual Training by LabVIEW -- Environmental Pattern Recognition for Assessment of Air Quality Data with the Gamma Classifier -- Massive Particles for Brain Tractography -- Emotional Conversational Agents in Clinical Psychology and Psychiatry -- Knowledge-Based System for Diagnosis of Metabolic Alterations in Undergraduate Students. |
| Record Nr. | UNISA-996465712703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Artificial Intelligence [[electronic resource] ] : 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I / / edited by Grigori Sidorov, Arturo Hernández Aguirre, Carlos Alberto Reyes Garcia
| Advances in Artificial Intelligence [[electronic resource] ] : 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I / / edited by Grigori Sidorov, Arturo Hernández Aguirre, Carlos Alberto Reyes Garcia |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XXIII, 479 p. 190 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Optical data processing Application software Pattern recognition Data mining Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Image Processing and Computer Vision Information Systems Applications (incl. Internet) Pattern Recognition Data Mining and Knowledge Discovery |
| ISBN | 3-642-16761-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Some Encounters on the Productive Use of a Failed Proof Attempt or a Counterexample -- Natural Language Processing -- Discourse Segmentation for Spanish Based on Shallow Parsing -- Towards Document Plagiarism Detection Based on the Relevance and Fragmentation of the Reused Text -- Lexicon Based Sentiment Analysis of Urdu Text Using SentiUnits -- A Semantic Oriented Approach to Textual Entailment Using WordNet-Based Measures -- On Managing Collaborative Dialogue Using an Agent-Based Architecture -- Dialog Structure Automatic Modeling -- A Probabilistic Model Based on n-Grams for Bilingual Word Sense Disambiguation -- Information Retrieval with a Simplified Conceptual Graph-Like Representation -- Teaching a Robot to Perform Tasks with Voice Commands -- Music Composition Based on Linguistic Approach -- Robotics, Planning and Scheduling -- A Practical Robot Coverage Algorithm for Unknown Environments -- An Algorithm for the Automatic Generation of Human-Like Motions Based on Examples -- Line Maps in Cluttered Environments -- Fuzzy Cognitive Maps for Modeling Complex Systems -- Semantic Representation and Management of Student Models: An Approach to Adapt Lecture Sequencing to Enhance Learning -- An Effective Heuristic for the No-Wait Flowshop with Sequence-Dependent Setup Times Problem -- Optimizing Alternatives in Precedence Networks -- AI-Based Integrated Scheduling of Production and Transportation Operations within Military Supply Chains -- Turbo Codification Techniques for Error Control in a Communication Channel -- A New Graphical Recursive Pruning Method for the Incremental Pruning Algorithm -- A New Pruning Method for Incremental Pruning Algorithm Using a Sweeping Scan-Line through the Belief Space -- POMDP Filter: Pruning POMDP Value Functions with the Kaczmarz Iterative Method -- Computer Vision and Image Processing -- Testing Image Segmentation for Topological SLAM with Omnidirectional Images -- Automatic Image Annotation Using Multiple Grid Segmentation -- Spatio-temporal Image Tracking Based on Optical Flow and Clustering: An Endoneurosonographic Application -- One Trilateral Filter Based on Surface Normal -- Beta-Measure for Probabilistic Segmentation -- Robust Spatial Regularization and Velocity Layer Separation for Optical Flow Computation on Transparent Sequences -- SAR Image Denoising Using the Non-Subsampled Contourlet Transform and Morphological Operators -- Logic and Distributed Systems -- Scheme-Based Synthesis of Inductive Theories -- A Possibilistic Intuitionistic Logic -- Jason Induction of Logical Decision Trees: A Learning Library and Its Application to Commitment -- Extending Soft Arc Consistency Algorithms to Non-invertible Semirings -- Frequency Transition Based Upon Dynamic Consensus for a Distributed System -- AI-Based Medical Application -- Towards Ubiquitous Acquisition and Processing of Gait Parameters -- Intelligent Wheelchair and Virtual Training by LabVIEW -- Environmental Pattern Recognition for Assessment of Air Quality Data with the Gamma Classifier -- Massive Particles for Brain Tractography -- Emotional Conversational Agents in Clinical Psychology and Psychiatry -- Knowledge-Based System for Diagnosis of Metabolic Alterations in Undergraduate Students. |
| Record Nr. | UNINA-9910484964503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Artificial Intelligence - IBERAMIA 2016 : 15th Ibero-American Conference on AI, San José, Costa Rica, November 23-25, 2016, Proceedings / / edited by Manuel Montes y Gómez, Hugo Jair Escalante, Alberto Segura, Juan de Dios Murillo
| Advances in Artificial Intelligence - IBERAMIA 2016 : 15th Ibero-American Conference on AI, San José, Costa Rica, November 23-25, 2016, Proceedings / / edited by Manuel Montes y Gómez, Hugo Jair Escalante, Alberto Segura, Juan de Dios Murillo |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVI, 428 p. 113 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Information storage and retrieval Database management Data mining Optical data processing Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval Database Management Data Mining and Knowledge Discovery Computer Imaging, Vision, Pattern Recognition and Graphics |
| ISBN | 3-319-47955-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge engineering, knowledge representation and probabilistic reasoning -- Agent technology and multi-agent systems -- Planning and scheduling -- Natural language processing -- Machine learning -- Big data, knowledge discovery and data mining -- Computer vision and pattern recognition -- Computational intelligence soft computing -- AI in education, affective computing, and human-computer interaction. . |
| Record Nr. | UNISA-996465337503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Artificial Intelligence - IBERAMIA 2016 : 15th Ibero-American Conference on AI, San José, Costa Rica, November 23-25, 2016, Proceedings / / edited by Manuel Montes y Gómez, Hugo Jair Escalante, Alberto Segura, Juan de Dios Murillo
| Advances in Artificial Intelligence - IBERAMIA 2016 : 15th Ibero-American Conference on AI, San José, Costa Rica, November 23-25, 2016, Proceedings / / edited by Manuel Montes y Gómez, Hugo Jair Escalante, Alberto Segura, Juan de Dios Murillo |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVI, 428 p. 113 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Information storage and retrieval Database management Data mining Optical data processing Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval Database Management Data Mining and Knowledge Discovery Computer Imaging, Vision, Pattern Recognition and Graphics |
| ISBN | 3-319-47955-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge engineering, knowledge representation and probabilistic reasoning -- Agent technology and multi-agent systems -- Planning and scheduling -- Natural language processing -- Machine learning -- Big data, knowledge discovery and data mining -- Computer vision and pattern recognition -- Computational intelligence soft computing -- AI in education, affective computing, and human-computer interaction. . |
| Record Nr. | UNINA-9910483376703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
