1711 search results - page 262 / 343 » Completing pseudojump operators |
RT
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Rendering realistic faces and facial expressions requires good models for the reflectance of skin and the motion of the face. We describe a system for modeling, animating...
SIBGRAPI
2000
IEEE
13 years 11 months ago
2000
IEEE
Edge detection and image segmentation algorithms usually operate on an image to extract geometrical information based on pixel colors. For ray-traced images, the presence of geomet...
POPL
1997
ACM
13 years 11 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
TPHOL
1995
IEEE
13 years 11 months ago
1995
IEEE
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF is based on HOLC, a variant of the well known higher order logic HOL, which o e...
SGP
2007
13 years 10 months ago
2007
A deformation invariant representation of surfaces, the GPS embedding, is introduced using the eigenvalues and eigenfunctions of the Laplace-Beltrami differential operator. Notabl...