4850 search results - page 145 / 970 » Proof and Computation in Geometry |
165
click to vote
TVCG
2008
15 years 5 months ago
2008
We present a novel postprocessing utility called adaptive geometry image (AGIM) for global parameterization techniques that can embed a 3D surface onto a rectangular1 domain. This ...
147
click to vote
PSIVT
2009
Springer
16 years 1 months ago
2009
Springer
Recently, projector camera systems have been used actively for image synthesis and for 3D reconstruction. For using the projector camera systems in these applications, it is very ...
206
click to vote
SMA
1995
ACM
15 years 10 months ago
1995
ACM
This paper presents a new computational method for fully automated triangular mesh generation, consistently applicable to wire-frame, surface, solid, and nonmanifold geometries. T...
187
click to vote
TVCG
2008
15 years 6 months ago
2008
Abstract-- Fluid simulations typically produce complex threedimensional iso-surfaces whose geometry and topology change over time. The standard way of representing such "dynam...
149
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...