4850 search results - page 803 / 970 » Proof and Computation in Geometry |
204
click to vote
PUK
2003
15 years 8 months ago
2003
This paper exploits the spatial representation of state space problem graphs to preprocess and enhance heuristic search engines. It combines classical AI exploration with computati...
164
click to vote
VISSYM
2003
15 years 8 months ago
2003
We show how to extract a contour line (or isosurface) from quadratic elements—specifically from quadratic triangles and tetrahedra. We also devise how to transform the resultin...
193
click to vote
WSCG
2003
15 years 7 months ago
2003
Rendering large trimmed NURBS models with high quality at interactive frame rates is of great interest for industry, since nearly all their models are designed on the basis of thi...
192
click to vote
GRAPHICSINTERFACE
2000
15 years 7 months ago
2000
We introduce a new metaphor for learning spatial relations--the 3D puzzle. With this metaphor users learn spatial relations by assembling a geometric model themselves. For this pu...
197
click to vote
DAGSTUHL
1997
15 years 7 months ago
1997
A realistic simulation system, which couples geometry and physics, can provide a useful toolkit for virtual environments. Interactions among moving objects in the virtual worlds a...