2056 search results - page 130 / 412 » time 2000 |
133
click to vote
ISER
2000
Springer
15 years 8 months ago
2000
Springer
Abstract: This paper presents a technique for incorporating delayed decision making into stochastic mapping algorithms for concurrent mapping and localization. The approach explici...
111
click to vote
MPC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We present an algorithm for inverse computation in a rstorder functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm (URA) i...
162
click to vote
RT
2000
Springer
15 years 8 months ago
2000
Springer
Acceleration structures used for ray tracing have been designed and optimized for efficient traversal of static scenes. As it becomes feasible to do interactive ray tracing of movi...
123
Voted
SACRYPT
2000
Springer
15 years 8 months ago
2000
Springer
We present and analyze attacks on additive stream ciphers that rely on linear equations that hold with non-trivial probability in plaintexts that are encrypted using distinct keys....
163
click to vote
TACAS
2000
Springer
15 years 8 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...