4850 search results - page 239 / 970 » Proof and Computation in Geometry |
192
click to vote
SIGGRAPH
1994
ACM
15 years 10 months ago
1994
ACM
This paper derives a model of diffuse and specular illumination in arbitrarily large dimensions, based on a few characteristics of material and light in 3-space. It then describes...
155
click to vote
STACS
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. A solid object in 3-dimensional space may be described by a collection of all its topologically distinct 2-dimensional appearances, its aspect graph. In this paper, we st...
149
click to vote
CARS
2004
15 years 8 months ago
2004
While the mechanisms of plaque development in coronary arteries are not yet completely understood, vessel geometry and its influence on hemodynamics are of major importance. This ...
160
click to vote
CG
2005
Springer
15 years 6 months ago
2005
Springer
Many applications of geometry processing and computer vision rely on geometric properties of curves, particularly their curvature. Several methods have already been proposed to est...
126
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We show how to apply Howe’s method for the proof of congruence of early bisimilarities in a higher-order process calculus with