4850 search results - page 289 / 970 » Proof and Computation in Geometry |
193
click to vote
TCS
2010
15 years 5 months ago
2010
The paper contains the first complete proof of strong normalization (SN) for full second order linear logic (LL): Girard’s original proof uses a standardization theorem which i...
196
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We propose a new approach called "appearance clustering" for scene analysis. The key idea in this approach is that the scene points can be clustered according to their s...
167
click to vote
VRML
2003
ACM
15 years 12 months ago
2003
ACM
Geometry compression for VRML has been an important item on the wish-list of the Web3D Consortium since 1996. It was widely understood that a binary format would be required to al...
175
click to vote
ECCV
1994
Springer
16 years 8 months ago
1994
Springer
This paper addresses the problem of computing cues to the three-dimensional structure of surfaces in the world directly from the local structure of the brightness pattern of a bino...
173
click to vote
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
We generalize basic signal processing tools such as downsampling, upsampling, and filters to irregular connectivity triangle meshes. This is accomplished through the design of a ...