1496 search results - page 155 / 300 » Definability of Initial Segments |
136
click to vote
ICRA
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper describes the new localisation algorithms under implementation for the mail distributing mobile robot, MOPS, of the Institute of Robotics, Swiss Federal Institute of Te...
160
click to vote
ASIACRYPT
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. The security of the alleged RC4 stream cipher and some variants is investigated. Cryptanalytic algorithms are developed for a known plaintext attack where only a small se...
120
Voted
COCO
2010
Springer
15 years 9 months ago
2010
Springer
—In this paper we show that BPP is truth-table reducible to the set of Kolmogorov random strings RK . It was previously known that PSPACE, and hence BPP is Turingreducible to RK ...
111
Voted
LREC
2010
15 years 6 months ago
2010
WikiWoods is an ongoing initiative to provide rich syntacto-semantic annotations for English Wikipedia. We sketch an automated processing pipeline to extract relevant textual cont...
161
click to vote
ICVGIP
2004
15 years 6 months ago
2004
We propose a new unsupervised learning method to obtain a layered pictorial structure (LPS) representation of an articulated object from video sequences. It will be seen that this...