1.

Record Nr.

UNINA9910483926203321

Titolo

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

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010

ISBN

1-280-38780-7

9786613565723

3-642-14264-8

Edizione

[1st ed. 2010.]

Descrizione fisica

1 online resource (XII, 302 p. 77 illus.)

Collana

Lecture Notes in Artificial Intelligence ; ; 5988

Disciplina

005.11

Soggetti

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

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references and index.

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.