Sciweavers

2651 search results - page 485 / 531
» Morphable Surface Models
Sort
View
TPHOL
2002
IEEE
15 years 2 months ago
Free-Style Theorem Proving
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
David Delahaye
COMPGEOM
2009
ACM
15 years 2 months ago
The scale axis picture show
We demonstrate how the scale axis transform can be used to compute a parameterized family of shape skeletons. The skeletons gradually represent only the most important features of...
Joachim Giesen, Balint Miklos, Mark Pauly, Camille...
SIGGRAPH
2010
ACM
15 years 2 months ago
Spatial relationship preserving character motion adaptation
This paper presents a new method for editing and retargeting motions that involve close interactions between body parts of single or multiple articulated characters, such as danci...
Edmond S. L. Ho, Taku Komura, Chiew-Lan Tai
SIGGRAPH
2010
ACM
15 years 2 months ago
Real-time lens blur effects and focus control
We present a novel rendering system for defocus blur and lens effects. It supports physically-based rendering and outperforms previous approaches by involving a novel GPU-based tr...
Sungkil Lee, Elmar Eisemann, Hans-Peter Seidel
SIGGRAPH
2010
ACM
15 years 2 months ago
Discrete scale axis representations for 3D geometry
This paper addresses the fundamental problem of computing stable medial representations of 3D shapes. We propose a spatially adaptive classification of geometric features that yi...
Balint Miklos, Joachim Giesen, Mark Pauly