400 search results - page 2 / 80 » Moving Proofs-As-Programs into Practice |
CVPR
2010
IEEE
14 years 1 months ago
2010
IEEE
New cameras such as the Canon EOS 7D and Pointgrey Grasshopper have 14-bit sensors. We present a theoretical analysis and a practical approach that exploit these new cameras with ...
EUROCRYPT
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. Known practical blind signature schemes whose security against adaptive and parallel attacks can be proven in the random oracle model either need five data exchanges bet...
ICCV
2009
IEEE
14 years 9 months ago
2009
IEEE
Markov Random Field is now ubiquitous in many formulations
of various vision problems. Recently, optimization
of higher-order potentials became practical using higherorder
graph...
ICRA
2003
IEEE
13 years 10 months ago
2003
IEEE
−−−− The simultaneous localization and mapping (SLAM) with detection and tracking of moving objects (DATMO) problem is not only to solve the SLAM problem in dynamic environ...
ICPR
2006
IEEE
14 years 6 months ago
2006
IEEE
We present a novel practical method for self-calibrating a camera which may move freely in space while changing it internal parameters by zooming. We show that point correspondenc...