4850 search results - page 216 / 970 » Proof and Computation in Geometry |
157
click to vote
OTM
2007
Springer
16 years 21 days ago
2007
Springer
This paper presents the works done by several research groups from University of Extremadura and CETA-CIEMAT (Centro Extreme˜no de Tecnolog´ıas Avanzadas) in order to deploy an ...
165
click to vote
PLDI
2010
ACM
16 years 4 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
178
click to vote
TOG
2008
15 years 6 months ago
2008
Fascinating and elegant shapes may be folded from a single planar sheet of material without stretching, tearing or cutting, if one incorporates curved folds into the design. We pr...
194
click to vote
CGF
2005
15 years 6 months ago
2005
We introduce FreeLence, a novel and simple single-rate compression coder for triangle manifold meshes. Our method uses free valences and exploits geometric information for connect...
174
click to vote
SI3D
2009
ACM
16 years 1 months ago
2009
ACM
We present an extension of recently developed Loop and Schaefer’s approximation of Catmull-Clark surfaces (ACC) for surfaces with creases and corners which are essential for mos...