4372 search results - page 288 / 875 » Algorithmic Theories of Everything |
242
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
156
click to vote
AVSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper surveys the developments of the last 10 years in the area of camera self-calibration. In order to solve this problem, researches have used the camera intrinsic constrai...
152
click to vote
ICCV
2003
IEEE
15 years 11 months ago
2003
IEEE
We propose a probabilistic algorithm able to detect the curves that are unexpectedy smooth in a set of digital curves. The only parameter is a false alarme rate, influencing the ...
142
click to vote
SIBGRAPI
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we study advancing front methods for surface reconstruction. We propose a topological framework based on handlebody theory to implement such methods in a simple and r...
131
click to vote
COCO
1998
Springer
15 years 10 months ago
1998
Springer
We show that MAEXP, the exponential time version of the Merlin-Arthur class, does not have polynomial size circuits. This significantly improves the previous known result due to K...