4850 search results - page 102 / 970 » Proof and Computation in Geometry |
149
click to vote
BMCV
2000
Springer
15 years 10 months ago
2000
Springer
The paper is a short tutorial on the multiscale differential geometric possibilities of the front-end visual receptive fields, modeled by Gaussian derivative kernels. The paper is ...
174
click to vote
CG
2002
Springer
15 years 6 months ago
2002
Springer
We present new algorithms for the robust transmission of geometric data sets, i.e. transmission which allows the receiver to recover (an approximation of) the original geometric o...
187
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
192
click to vote
COMPGEOM
2010
ACM
15 years 11 months ago
2010
ACM
A graph is near-planar if it can be obtained from a planar graph by adding an edge. We show that it is NP-hard to compute the crossing number of near-planar graphs. The main idea ...
170
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper presents a new method for the recognition and reconstruction of surfaces from 3D data. Line element geometry, which generalizes both line geometry and the Laguerre geom...