1810 search results - page 323 / 362 » Similarity estimation techniques from rounding algorithms |
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
ISMAR
2003
IEEE
14 years 1 months ago
2003
IEEE
We present a general method for real-time, visiononly single-camera simultaneous localisation and mapping (SLAM) — an algorithm which is applicable to the localisation of any ca...
ICIP
2000
IEEE
14 years 11 days ago
2000
IEEE
This work introduces two complementary techniques to improve the packet loss resilience of scalable video coding systems. First, a “switch per-pixel” error concealment (SPEC) ...
SIGIR
1999
ACM
14 years 8 days ago
1999
ACM
We propose a new probabilistic approach to information retrieval based upon the ideas and methods of statistical machine translation. The central ingredient in this approach is a ...
SIGCOMM
1997
ACM
14 years 4 days ago
1997
ACM
We discuss findings from a large-scale study of Internet packet dynamics conducted by tracing 20,000 TCP bulk transfers between 35 Internet sites. Because we traced each 100 Kbyt...