3446 search results - page 281 / 690 » A Reasoning Algorithm for pD* |
170
click to vote
FCCM
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the implementation of an automatic target recognition ATR Probing algorithm on a recon gurable system, using the SA-C programming language and optimizing co...
170
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents an algorithm for simultaneous localization and map building for a mobile robot moving in an unknown environment. The robot can measure only the bearings to ide...
167
click to vote
ECML
2000
Springer
15 years 11 months ago
2000
Springer
We examine the role of simplicity in directing the induction of context-free grammars from sample sentences. We present a rational reconstruction of Wol 's SNPR { the Gridssys...
158
click to vote
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
145
click to vote
SBIA
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing age...