Sciweavers

203 search results - page 20 / 41
» Decision Tree Pruning as a Search in the State Space
Sort
View
FMSD
2006
103views more  FMSD 2006»
13 years 7 months ago
Compositional SCC Analysis for Language Emptiness
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our alg...
Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita...
PUK
2000
13 years 8 months ago
Knowledge-Based Control of Decision Theoretic Planning - Adaptive Planning Model Selection
This paper proposes a new planning architecture for agents operating in uncertain and dynamic environments. Decisiontheoretic planning has been recognized as a useful tool for rea...
Jun Miura, Yoshiaki Shirai
VLDB
2007
ACM
114views Database» more  VLDB 2007»
14 years 7 months ago
Optimization and evaluation of shortest path queries
We investigate the problem of how to evaluate efficiently a collection of shortest path queries on massive graphs that are too big to fit in the main memory. To evaluate a shortes...
Edward P. F. Chan, Heechul Lim
KI
2004
Springer
14 years 27 days ago
On-Line Decision-Theoretic Golog for Unpredictable Domains
Abstract. DTGolog was proposed by Boutilier et al. as an integration of decision-theoretic (DT) planning and the programming language Golog. Advantages include the ability to handl...
Alexander Ferrein, Christian Fritz, Gerhard Lakeme...
CGO
2003
IEEE
14 years 25 days ago
Compiler Optimization-Space Exploration
To meet the performance demands of modern architectures, compilers incorporate an everincreasing number of aggressive code transformations. Since most of these transformations are...
Spyridon Triantafyllis, Manish Vachharajani, Neil ...