Sciweavers

1018 search results - page 68 / 204
» Property Testing in Computational Geometry
Sort
View
ICLP
2009
Springer
15 years 7 months ago
An Engine for Computing Well-Founded Models
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
Terrance Swift
88
Voted
IMR
2004
Springer
15 years 5 months ago
Entkerner: A System for Removal of Globally Invisible Triangles from Large Meshes
We present a method that computes a global potentially visible set for the complete region outside the convex hull of an object. The technique is used to remove invisible parts (t...
Manfred Ernst, Frank Firsching, Roberto Grosso
COMPGEOM
2005
ACM
15 years 2 months ago
Dynamic maintenance of molecular surfaces under conformational changes
We present an efficient algorithm for maintaining the boundary and surface area of protein molecules as they undergo conformational changes. We also describe a robust implementati...
Eran Eyal, Dan Halperin
CGA
2005
15 years 9 days ago
Visualizing Live Text Streams Using Motion and Temporal Pooling
In today's fast-paced world, it is increasingly difficult to understand and act promptly upon the content of the many information streams available. Temporal pooling addresse...
Conrad Albrecht-Buehler, Benjamin Watson, David A....
92
Voted
CAD
2005
Springer
15 years 9 days ago
Triangular mesh offset for generalized cutter
In 3-axis NC (Numerical Control) machining, various cutters are used and the offset compensation for these cutters is important for a gouge free tool path generation. This paper i...
Su-Jin Kim, Min-Yang Yang