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.
Current Topics in Artificial Intelligence [[electronic resource] ] : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009, Selected Papers / / edited by Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca
Current Topics in Artificial Intelligence [[electronic resource] ] : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009, Selected Papers / / edited by Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca
Edizione [1st ed. 2010.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Descrizione fisica 1 online resource (XII, 302 p. 77 illus.)
Disciplina 005.11
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Computer programming
Database management
Computer engineering
Artificial intelligence
Application software
Computers
Programming Techniques
Database Management
Computer Engineering
Artificial Intelligence
Information Systems Applications (incl. Internet)
Computation by Abstract Devices
ISBN 1-280-38780-7
9786613565723
3-642-14264-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Diagnosis -- Employing Test Suites for Verilog Fault Localization -- Analyzing the Influence of Differential Constraints in Possible Conflict and ARR Computation -- On the Complexity of Program Debugging Using Constraints for Modeling the Program’s Syntax and Semantics -- Evolutive Algorithms and Neural Networks -- An Analysis of Particle Properties on a Multi-swarm PSO for Dynamic Optimization Problems -- An Incremental Learning Method for Neural Networks Based on Sensitivity Analysis -- A Multi-objective Neuro-evolutionary Algorithm to Obtain Interpretable Fuzzy Models -- Improving Isolated Handwritten Word Recognition Using a Specialized Classifier for Short Words -- Knowledge Representation and Engineering -- Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL -- Base Belief Change for Finitary Monotonic Logics -- Common Pitfalls in Ontology Development -- Machine Learning -- Obtaining Optimal Class Distribution for Decision Trees: Comparative Analysis of CTC and C4.5 -- Selecting Few Genes for Microarray Gene Expression Classification -- Sequential Pattern Mining in Multi-relational Datasets -- CBR Outcome Evaluation for High Similar Cases: A Preliminary Approach -- On the Suitability of Combining Feature Selection and Resampling to Manage Data Complexity -- Automated Constraint Selection for Semi-supervised Clustering Algorithm -- Multiagents -- Empirical Hardness for Mixed Auctions -- Developing Strategies for the ART Domain -- A Multiagent Solution to Adaptively Classify SOAP Message and Protect against DoS Attack -- Natural Language -- Adding Morphological Information to a Connectionist Part-Of-Speech Tagger -- Planning -- A Look-Ahead B&B Search for Cost-Based Planning -- A Tabu Search Algorithm to Minimize Lateness in Scheduling Problems with Setup Times -- Improving Local Search for the Fuzzy Job Shop Using a Lower Bound -- Tutoring Systems -- Data-Driven Student Knowledge Assessment through Ill-Defined Procedural Tasks -- Uncertainty: Bayesian Networks -- Recursive Probability Trees for Bayesian Networks -- Vision -- Generating Saliency Maps Using Human Based Computation Agents -- A New Contiguity-Constrained Agglomerative Hierarchical Clustering Algorithm for Image Segmentation -- Applications -- Classifying Sleep Apneas Using Neural Networks and a Combination of Experts -- Expert System to Real Time Control of Machining Processes -- A Flexible System for Document Processing and Text Transcription.
Record Nr. UNISA-996465857703316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Current Topics in Artificial Intelligence : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009, Selected Papers / / edited by Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca
Current Topics in Artificial Intelligence : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009, Selected Papers / / edited by Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca
Edizione [1st ed. 2010.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Descrizione fisica 1 online resource (XII, 302 p. 77 illus.)
Disciplina 005.11
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Computer programming
Database management
Computer engineering
Artificial intelligence
Application software
Computers
Programming Techniques
Database Management
Computer Engineering
Artificial Intelligence
Information Systems Applications (incl. Internet)
Computation by Abstract Devices
ISBN 1-280-38780-7
9786613565723
3-642-14264-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Diagnosis -- Employing Test Suites for Verilog Fault Localization -- Analyzing the Influence of Differential Constraints in Possible Conflict and ARR Computation -- On the Complexity of Program Debugging Using Constraints for Modeling the Program’s Syntax and Semantics -- Evolutive Algorithms and Neural Networks -- An Analysis of Particle Properties on a Multi-swarm PSO for Dynamic Optimization Problems -- An Incremental Learning Method for Neural Networks Based on Sensitivity Analysis -- A Multi-objective Neuro-evolutionary Algorithm to Obtain Interpretable Fuzzy Models -- Improving Isolated Handwritten Word Recognition Using a Specialized Classifier for Short Words -- Knowledge Representation and Engineering -- Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL -- Base Belief Change for Finitary Monotonic Logics -- Common Pitfalls in Ontology Development -- Machine Learning -- Obtaining Optimal Class Distribution for Decision Trees: Comparative Analysis of CTC and C4.5 -- Selecting Few Genes for Microarray Gene Expression Classification -- Sequential Pattern Mining in Multi-relational Datasets -- CBR Outcome Evaluation for High Similar Cases: A Preliminary Approach -- On the Suitability of Combining Feature Selection and Resampling to Manage Data Complexity -- Automated Constraint Selection for Semi-supervised Clustering Algorithm -- Multiagents -- Empirical Hardness for Mixed Auctions -- Developing Strategies for the ART Domain -- A Multiagent Solution to Adaptively Classify SOAP Message and Protect against DoS Attack -- Natural Language -- Adding Morphological Information to a Connectionist Part-Of-Speech Tagger -- Planning -- A Look-Ahead B&B Search for Cost-Based Planning -- A Tabu Search Algorithm to Minimize Lateness in Scheduling Problems with Setup Times -- Improving Local Search for the Fuzzy Job Shop Using a Lower Bound -- Tutoring Systems -- Data-Driven Student Knowledge Assessment through Ill-Defined Procedural Tasks -- Uncertainty: Bayesian Networks -- Recursive Probability Trees for Bayesian Networks -- Vision -- Generating Saliency Maps Using Human Based Computation Agents -- A New Contiguity-Constrained Agglomerative Hierarchical Clustering Algorithm for Image Segmentation -- Applications -- Classifying Sleep Apneas Using Neural Networks and a Combination of Experts -- Expert System to Real Time Control of Machining Processes -- A Flexible System for Document Processing and Text Transcription.
Record Nr. UNINA-9910483926203321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui