Sciweavers

2651 search results - page 485 / 531
» Morphable Surface Models
Sort
View
TPHOL
2002
IEEE
14 years 26 days ago
Free-Style Theorem Proving
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
David Delahaye
COMPGEOM
2009
ACM
14 years 19 days 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
14 years 14 days 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
14 years 14 days 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
14 years 14 days 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