Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2005.
|
| Σειρά: | Lecture Notes in Computer Science,
3607 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
