05828nam 22007935 450 991048392620332120200703063124.01-280-38780-797866135657233-642-14264-810.1007/978-3-642-14264-2(CKB)2670000000028935(SSID)ssj0000446401(PQKBManifestationID)11281715(PQKBTitleCode)TC0000446401(PQKBWorkID)10491964(PQKB)11273449(DE-He213)978-3-642-14264-2(MiAaPQ)EBC3065502(PPN)149072805(EXLCZ)99267000000002893520100705d2010 u| 0engurnn|008mamaatxtccrCurrent 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. Gasca1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (XII, 302 p. 77 illus.) Lecture Notes in Artificial Intelligence ;5988Bibliographic Level Mode of Issuance: Monograph3-642-14263-X Includes bibliographical references and index.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.Lecture Notes in Artificial Intelligence ;5988Computer programmingDatabase managementComputer engineeringArtificial intelligenceApplication softwareComputersProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Database Managementhttps://scigraph.springernature.com/ontologies/product-market-codes/I18024Computer Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I27000Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Computer 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.005.11Meseguer Pedroedthttp://id.loc.gov/vocabulary/relators/edtMandow Lawrenceedthttp://id.loc.gov/vocabulary/relators/edtGasca Rafael Medthttp://id.loc.gov/vocabulary/relators/edtBOOK9910483926203321Current Topics in Artificial Intelligence772191UNINA