3446 search results - page 170 / 690 » A Reasoning Algorithm for pD* |
149
click to vote
UAI
1996
15 years 5 months ago
1996
In this paper we propose a family of algorithms combining treeclustering with conditioning that trade space for time. Such algorithms are useful for reasoning in probabilistic and...
119
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
117
click to vote
ICCBR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we propose an approach to attach semantic annotations to textual cases for their representation. To achieve this goal, a framework that combines machine le...
130
click to vote
TPHOL
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
124
click to vote
ROBOCUP
1999
Springer
15 years 8 months ago
1999
Springer
This paper provides general information about research at the University of Auckland into autonomous agents in highly dynamic environments, in particular in RoboCup. The paper desc...