Der Kleine Pauly : Lexikon der Antike auf der Grundlage von Pauly's Realencyclopadie der classischen Altertumswissenschaft unter Mitwirkung zahlreicher Fachgelehrter / bearbeitet und herausgegeben von Konrat Ziegler und Walther Sontheimer

• Record Nr.: UNISOBSOBE00035474
• Autore: Pauly, August Friedrich : von
• Pubbl/distr/stampa: München : Deutscher Taschenbuch, 1979
• ISBN: 342305963X
• Descrizione fisica: 5 v. ; 22 cm
• Lingua di pubblicazione: Tedesco
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Abstraction, Reformulation and Approximation [[electronic resource] ] : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings / / edited by Jean-Daniel Zucker, Lorenza Saitta

• Record Nr.: UNISA996465781003316
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
• ISBN: 3-540-31882-8
• Edizione: [1st ed. 2005.]
• Descrizione fisica: 1 online resource (XII, 380 p.)
• Collana: Lecture Notes in Artificial Intelligence ; ; 3607
• Disciplina: 004
• Soggetti: Computers; Artificial intelligence; Computer logic; Mathematical logic; Theory of Computation; Artificial Intelligence; Logics and Meanings of Programs; Mathematical Logic and Formal Languages
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: "6th Symposium on Abstraction, Reformulation and Approximation"--Pref.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains -- Synthesizing Plans for Multiple Domains -- Abstract Policy Evaluation for Reactive Agents -- Implementing an Abstraction Framework for Soft Constraints -- Transforming and Refining Abstract Constraint Specifications -- Learning Regular Expressions from Noisy Sequences -- From Factorial and Hierarchical HMM to Bayesian Network: A Representation Change Algorithm -- Hierarchical Heuristic Search Revisited -- Multinomial Event Model Based Abstraction for Sequence and Text Classification -- Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies -- Detecting and Breaking Symmetries by Reasoning on Problem Specifications -- Approximate Model-Based Diagnosis Using Preference-Based Compilation -- Function Approximation via Tile Coding: Automating Parameter Choice -- Creating Better Abstract Operators -- A Specialised Binary Constraint for the Stable Marriage Problem -- Compositional Derivation of Symmetries for Constraint Satisfaction -- Extended Abstracts -- Solving the 24 Puzzle with Instance Dependent Pattern Databases -- Combining Feature Selection and Feature Construction to Improve Concept Learning for High Dimensional Data -- A Qualitative Spatio-temporal Abstraction of a Disaster Space -- The Cruncher: Automatic Concept Formation Using Minimum Description Length -- Experiments with Multiple Abstraction Heuristics in Symbolic Verification -- Probabilistic Abstraction of Uncertain Temporal Data for Multiple Subjects -- Learning Classifiers Using Hierarchically Structured Class Taxonomies -- Feature-Discovering Approximate Value Iteration Methods -- Invited Talks -- Designing Views to Efficiently Answer Real SQL Queries -- The Multi-depot Periodic Vehicle Routing Problem -- Abstract Representation in Painting and Computing -- Research Summaries -- Categorizing Gene Expression Correlations with Bioclinical Data: An Abstraction Based Approach -- Learning Abstract Scheduling Models -- Knowledge Acquisition on Manipulation of Flow and Water Quality Models -- Abstraction and Multiple Abstraction in the Symbolic Modeling of the Environment of Mobile Robots -- Sequential Decision Making Under Uncertainty -- Automatic State Abstraction for Pathfinding in Real-Time Video Games -- Model-Based Search -- Learning Skills in Reinforcement Learning Using Relative Novelty.