3446 search results - page 183 / 690 » A Reasoning Algorithm for pD* |
131
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a reinforcement learning algorithm used to allocate tasks to agents in an uncertain real-time environment. In such environment, tasks have to be analyzed and a...
153
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
Recent work shows that the memory requirements of bestfirst heuristic search can be reduced substantially by using a divide-and-conquer method of solution reconstruction. We show...
151
click to vote
IWANN
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Mechanisms for adapting models, filters, regulators and so on to changing properties of a system are of fundamental importance in many modern identification, estimation...
122
click to vote
SSDBM
1990
IEEE
15 years 8 months ago
1990
IEEE
In this paper we survey known results on algorithms, data structures, and some applications of random sampling from databases. We first discuss various reasons for sampling from d...
IJCAI
2003
15 years 5 months ago
2003
Automated verification is one of the most success ful applications of automated reasoning in com puter science. In automated verification one uses algorithmic techniques to es...