6941 search results - page 1149 / 1389 » Testing as a Certification Approach |
239
Voted
AAAI
1998
15 years 6 months ago
1998
For mobile robots to be successful, they have to navigate safely in populated and dynamic environments. While recent research has led to a variety of localization methods that can...
158
click to vote
AAAI
2000
15 years 6 months ago
2000
We present a novel approach to plan recognition in which graph construction and analysis is used as a paradigm. We use a graph structure called a Goal Graph for the plan recogniti...
147
click to vote
AIPS
2000
15 years 6 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...
135
click to vote
SODA
2003
ACM
15 years 6 months ago
2003
ACM
This work examines algebraic techniques for comparing quadratic algebraic numbers, thus yielding methods for deciding key predicates in various geometric constructions. Our motiva...
182
click to vote
BDA
2000
15 years 6 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...