8874 search results - page 1523 / 1775 » A New Implementation of Automath |
327
click to vote
CVPR
2003
IEEE
16 years 9 months ago
2003
IEEE
We wish to determine the epipolar geometry of a stereo camera pair from image measurements alone. This paper describes a solution to this problem which does not require a parametr...
193
click to vote
ECCV
2004
Springer
16 years 9 months ago
2004
Springer
This paper proposes a robust estimation and validation framework for characterizing local structures in a positive multi-variate continuous function approximated by a Gaussian-base...
209
click to vote
ECCV
2002
Springer
16 years 9 months ago
2002
Springer
We present a novel method for inferring three-dimensional shape from a collection of defocused images. It is based on the observation that defocused images are the null-space of ce...
358
click to vote
ICDE
2009
IEEE
16 years 9 months ago
2009
IEEE
Abstract-- Inspired by the great success of information retrieval (IR) style keyword search on the web, keyword search on XML has emerged recently. The difference between text data...
304
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Functional testing of a query language is a challenging task in practice. In order to reveal errors in the query processing functionality, it is necessary to verify the actual res...