1358 search results - page 13 / 272 » Proceedings |
90
Voted
ICRA
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract — In [13], a new algorithm was proposed for efficiently solving the simultaneous localization and mapping (SLAM) problem. In this paper, we extend this algorithm to han...
CRYPTO
2001
Springer
15 years 4 months ago
2001
Springer
in SIAM J. of Computing, Vol. 32, No. 3, pp. 586-615, 2003. An extended abstract of this paper appears in the Proceedings of Crypto 2001, volume 2139 of Lecture Notes in Computer S...
83
Voted
TIME
1998
IEEE
15 years 4 months ago
1998
IEEE
Kowalski and Sergot's Event Calculus (EC) is a simAppeared in the Proceedings of the Fifth International Workshop on Temporal Representation and Reasoning -- TIME'98 (R....
92
Voted
LICS
1996
IEEE
15 years 4 months ago
1996
IEEE
We present the linear type theory LLF as the forThis extended abstract will appear on the proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science -LICS'...
94
Voted
FSE
2000
Springer
15 years 4 months ago
2000
Springer
This paper details the attack on RC6 which was announced in a report published in the proceedings of the second AES candidate conference (March 1999). Based on an observation on th...