3446 search results - page 206 / 690 » A Reasoning Algorithm for pD* |
110
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
141
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
Most BDI agent architectures rely on plan libraries in order to ensure bounded time for means-ends reasoning. Nevertheless, the usage of fast planning algorithms to provide the ag...
116
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we introduce a tile-graph-based approach to power planning. For a given flooplan solution, the power inputs are modeled into a tile graph, the minimum capacity of e...
153
click to vote
CSL
2003
Springer
15 years 9 months ago
2003
Springer
Using the Lempel-Ziv-78 compression algorithm to compress a string yields a dictionary of substrings, i.e. an edge-labelled tree with an order-compatible enumeration, here called a...
129
click to vote
ECSQARU
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The Hugin and Shenoy–Shafer architectures are two variations on the jointree algorithm, which exhibit different tradeoffs with respect to efficiency and query answeri...