Abstraction reformulation approximation 6th (7 résultats)

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : New.

Etat : As New. Unread book in perfect condition.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Taschenbuch. Etat : Neu. Abstraction, Reformulation and Approximation | 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings | Jean-Daniel Zucker (u. a.) | Taschenbuch | xii | Englisch | 2005 | Springer | EAN 9783540278726 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

PF. Etat : New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.