4850 search results - page 90 / 970 » Proof and Computation in Geometry |
146
click to vote
COMPGEOM
1995
ACM
15 years 10 months ago
1995
ACM
We outline an algorithm and implementation of a system that computes Boolean combinations of sculptured solids. We represent the surface of the solids in terms of trimmed and untr...
125
click to vote
CCA
2009
Springer
16 years 28 days ago
2009
Springer
We extract a quantitative variant of uniqueness from the usual hypotheses of the implicit functions theorem. This leads not only to an a priori proof of continuity, but also to an ...
189
click to vote
TLCA
2009
Springer
16 years 26 days ago
2009
Springer
We show that, in a parametric model of polymorphism, the type ∀α.((α → α) → α) → (α → α → α) → α is isomorphic to closed n terms. That is, the type of closed ...
147
click to vote
EUROGRAPHICS
2010
Eurographics
16 years 3 months ago
2010
Eurographics
Realistic animation and rendering of the ocean is an important aspect for simulators, movies and video games. By nature, the ocean is a difficult problem for Computer Graphics: i...
164
click to vote
SI3D
2006
ACM
16 years 9 days ago
2006
ACM
Visual patterns on the surface of an object, such as two dimensional texture, are taken into consideration as part of the geometry remeshing process. Given a parameterized mesh an...