Willkommen, schön sind Sie da!
Logo Ex Libris

Abstraction, Reformulation and Approximation

  • E-Book (pdf)
  • 380 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Inhalt Full Papers.- Verifying the Incorrectness of Programs and Automata.- Generating Admissible Heuristics by Abstraction for Se... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 100.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

Inhalt

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.

Produktinformationen

Titel: Abstraction, Reformulation and Approximation
Untertitel: 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings
Editor:
EAN: 9783540318828
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Anzahl Seiten: 380
Veröffentlichung: 25.08.2005
Dateigrösse: 4.6 MB

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"