4850 search results - page 101 / 970 » Proof and Computation in Geometry |
145
click to vote
SMA
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a new method to compute constructive solid geometry (CSG) tree representations of an object whose faces consist of planar and non-planar surfaces. The algorith...
190
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
Flat refractive geometry corresponds to a perspective camera looking through single/multiple parallel flat refractive mediums. We show that the underlying geometry of rays corres...
178
click to vote
CJ
2006
15 years 6 months ago
2006
Mathematics is facing a dilemma at its heart: the nature of mathematical proof. We have known since Church and Turing independently showed that mathematical provability was undeci...
255
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
Central to many problems in scene understanding based on using a network of tens, hundreds or even thousands of randomly distributed cameras with on-board processing and wireless c...
158
click to vote
CLOR
2006
15 years 10 months ago
2006
We present a new class of statistical models for part-based object recognition. These models are explicitly parametrized according to the degree of spatial structure that they can ...