Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings
Author: Berthe Y. Choueiry, Toby Walsh
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-67839-7
DOI: 10.1007/3-540-44914-0
Table of Contents:
- Partial Completeness of Abstract Fixpoint Checking
- An Overview of MAXQ Hierarchical Reinforcement Learning
- Recent Progress in the Design and Analysis of Admissible Heuristic Functions
- GIS Databases: From Multiscale to MultiRepresentation
- An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation
- Abstractions for Knowledge Organization of Relational Descriptions
- Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions
- Approximating Data in Constraint Databases
- Linearly Bounded Reformulations of Unary Databases
- A CSP Abstraction Framework
- Interactions of Abstractions in Programming
- Reformulation and Approximation in Model Checking
- The Lumberjack Algorithm for Learning Linked Decision Forests
- Reformulating Propositional Satisfiability as Constraint Satisfaction
- Improving the Efficiency of Reasoning Through Structure-Based Reformulation
- Using Feature Hierarchies in Bayesian Network Learning
- On Reformulating Planning as Dynamic Constraint Satisfaction
- Experiments with Automatically Created Memory-Based Heuristics
- Abstraction and Phase Transitions in Relational Learning
- An Agent-Based Approach to Robust Switching Between Abstraction Levels for Fault Diagnosis
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
Showing 2 featured editions. View all 2 editions?
Edition | Availability |
---|---|
1
Abstraction, reformulation, and approximation: 7th international symposium, SARA 2007, Whistler, Canada, July 18-21, 2007 : proceedings
2007, Springer
in English
3540735798 9783540735793
|
zzzz
Libraries near you:
WorldCat
|
2
Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings (Lecture Notes in Computer Science)
August 17, 2000, Springer
Paperback
in English
- 1 edition
3540678395 9783540678397
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 30, 2008
- 15 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
July 11, 2024 | Edited by MARC Bot | import existing book |
October 17, 2023 | Edited by ImportBot | import existing book |
May 18, 2023 | Edited by ImportBot | import existing book |
October 4, 2021 | Edited by ImportBot | import existing book |
April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |