1176 search results - page 10 / 236 » Implicit Abstraction Heuristics |
109
click to vote
JAIR
2006
15 years 1 months ago
2006
We present a heuristic search algorithm for solving first-order Markov Decision Processes (FOMDPs). Our approach combines first-order state abstraction that avoids evaluating stat...
111
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
nteractions. Moreover, at a certain level of abstraction, one can also find many common features between complex structures in very different fields. Francis Heylighen, mentor of t...
127
click to vote
LPNMR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
97
Voted
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
118
click to vote
BILDMED
2006
15 years 3 months ago
2006
Abstract. We propose an algorithm for the segmentation of blood vessels in the kind of CT-data typical for diagnostics in a clinical environment. Due to poor quality and variance i...