Abstraction, Reformulation and Approximation

6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings

Editors:

ISBN: 978-3-540-27872-6 (Print) 978-3-540-31882-8 (Online)

Table of contents (36 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Full Papers

    1. No Access

      Book Chapter

      Pages 1-13

      Verifying the Incorrectness of Programs and Automata

    2. No Access

      Book Chapter

      Pages 14-29

      Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains

    3. No Access

      Book Chapter

      Pages 30-43

      Synthesizing Plans for Multiple Domains

    4. No Access

      Book Chapter

      Pages 44-59

      Abstract Policy Evaluation for Reactive Agents

    5. No Access

      Book Chapter

      Pages 60-75

      Implementing an Abstraction Framework for Soft Constraints

    6. No Access

      Book Chapter

      Pages 76-91

      Transforming and Refining Abstract Constraint Specifications

    7. No Access

      Book Chapter

      Pages 92-106

      Learning Regular Expressions from Noisy Sequences

    8. No Access

      Book Chapter

      Pages 107-120

      From Factorial and Hierarchical HMM to Bayesian Network: A Representation Change Algorithm

    9. No Access

      Book Chapter

      Pages 121-133

      Hierarchical Heuristic Search Revisited

    10. No Access

      Book Chapter

      Pages 134-148

      Multinomial Event Model Based Abstraction for Sequence and Text Classification

    11. No Access

      Book Chapter

      Pages 149-164

      Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies

    12. No Access

      Book Chapter

      Pages 165-181

      Detecting and Breaking Symmetries by Reasoning on Problem Specifications

    13. No Access

      Book Chapter

      Pages 182-193

      Approximate Model-Based Diagnosis Using Preference-Based Compilation

    14. No Access

      Book Chapter

      Pages 194-205

      Function Approximation via Tile Coding: Automating Parameter Choice

    15. No Access

      Book Chapter

      Pages 206-217

      Creating Better Abstract Operators

    16. No Access

      Book Chapter

      Pages 218-233

      A Specialised Binary Constraint for the Stable Marriage Problem

    17. No Access

      Book Chapter

      Pages 234-247

      Compositional Derivation of Symmetries for Constraint Satisfaction

  3. Extended Abstracts

    1. No Access

      Book Chapter

      Pages 248-260

      Solving the 24 Puzzle with Instance Dependent Pattern Databases

    2. No Access

      Book Chapter

      Pages 261-273

      Combining Feature Selection and Feature Construction to Improve Concept Learning for High Dimensional Data

    3. No Access

      Book Chapter

      Pages 274-281

      A Qualitative Spatio-temporal Abstraction of a Disaster Space

previous Page of 2