Sold Out
Book Categories |
Model Checking and Abstraction | 1 | |
Reformulation in Planning | 18 | |
Spatiotemporal Abstraction of Stochastic Sequential Processes | 33 | |
State Spate Relaxation and Search Strategies in Dynamic Programming | 51 | |
Admissible Moves in Two-Player Games | 52 | |
Dynamic Bundling: Less Effort for More Solutions | 64 | |
Symbolic Heuristic Search Using Decision Diagrams | 83 | |
On the Construction of Human-Automation Interfaces by Formal Abstraction | 99 | |
Pareto Optimization of Temporal Decisions | 116 | |
An Information-Theoretic Characterization of Abstraction in Diagnosis and Hypothesis Selection | 126 | |
A Tractable Query Cache by Approximation | 140 | |
An Algebraic Framework for Abstract Model Checking | 152 | |
Action Timing Discretization with Iterative-Refinement | 170 | |
Formalizing Approximate Objects and Theories: Some Initial Results | 178 | |
Model Minimization in Hierarchical Reinforcement Learning | 196 | |
Learning Options in Reinforcement Learning | 212 | |
Approximation Techniques for Non-linear Problems with Continuum of Solutions | 224 | |
Approximation of Relations by Propositional Formulas: Complexity and Semantics | 242 | |
Abstracting Visual Percepts to Learn Concepts | 256 | |
PAC Meditation on Boolean Formulas | 274 | |
On the Reformulation of Vehicle Routing Problems and Scheduling Problems | 282 | |
The Oracular Constraints Method | 290 | |
Performance of Lookahead Control Policies in the Face of Abstractions and Approximations | 299 | |
TTree: Tree-Based State Generalization with Temporally Abstract Actions | 308 | |
Ontology-Driven Induction of Decision Trees at Multiple Levels of Abstraction | 316 | |
Abstracting Imperfect Information Game Trees | 324 | |
Using Abstraction for Heuristic Search and Planning | 326 | |
Approximation Techniques in Multiagent Learning | 328 | |
Abstraction and Reformulation in GraphPlan | 330 | |
Abstract Reasoning for Planning and Coordination | 331 | |
Abstraction Techniques, and Their Value | 333 | |
Reformulation of Non-binary Constraints | 335 | |
Reformulating Combinatorial Optimization as Constraint Satisfaction | 336 | |
Autonomous Discovery of Abstractions through Interaction with an Environment | 338 | |
Interface Verification: Discrete Abstractions of Hybrid Systems | 340 | |
Learning Semi-lattice Codebooks for Image Compression | 342 | |
Research Summary | 344 | |
Principled Exploitation of Heuristic Information | 345 | |
Reformulation of Temporal Constraint Networks | 347 | |
Author Index | 349 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionAbstraction, Reformulation, and Approximation
X
This Item is in Your InventoryAbstraction, Reformulation, and Approximation
X
You must be logged in to review the productsX
X
X
Add Abstraction, Reformulation, and Approximation, This book constitutes the refereed proceedings of the 5th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2002, held in Kananaskis, Alberta, Canada, in August 2002. The 15 revised full papers and 6 short papers were care, Abstraction, Reformulation, and Approximation to the inventory that you are selling on WonderClubX
X
Add Abstraction, Reformulation, and Approximation, This book constitutes the refereed proceedings of the 5th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2002, held in Kananaskis, Alberta, Canada, in August 2002. The 15 revised full papers and 6 short papers were care, Abstraction, Reformulation, and Approximation to your collection on WonderClub |