10715 search results - page 1759 / 2143 » Proofs from Tests |
201
click to vote
AIPS
2000
15 years 9 months ago
2000
The formulation of planning as heuristic search with heuristics derived from problem representations has turned out to be a fruitful approach for classical planning. In this paper...
245
click to vote
BDA
2000
15 years 9 months ago
2000
In this paper we consider the problem of the incremental mining of sequential patterns when new transactions or new customers are added to an original database. We present a new a...
225
click to vote
UAI
2003
15 years 9 months ago
2003
We present an application of hierarchical Bayesian estimation to robot map building. The revisiting problem occurs when a robot has to decide whether it is seeing a previously-bui...
203
click to vote
USITS
2003
15 years 9 months ago
2003
In 1986 Jim Gray published his landmark study of the causes of failures of Tandem systems and the techniques Tandem used to prevent such failures [6]. Seventeen years later, Inter...
214
click to vote
CLIN
2000
15 years 9 months ago
2000
Of the ten million words of contemporary standard Dutch in the Spoken Dutch Corpus (Corpus Gesproken Nederlands, CGN), a selection of one million words of natural spoken language ...