Sciweavers

3322 search results - page 82 / 665
» Automatic Human Model Generation
Sort
View
TAP
2007
Springer
92views Hardware» more  TAP 2007»
15 years 4 months ago
Generating Unit Tests from Formal Proofs
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
Christian Engel, Reiner Hähnle
SIGGRAPH
1997
ACM
15 years 2 months ago
Anatomy-based modeling of the human musculature
Artists study anatomy to understand the relationship between exterior form and the structures responsible for creating it. In this paper we follow a similar approach in developing...
Ferdi Scheepers, Richard E. Parent, Wayne E. Carls...
CVPR
2010
IEEE
15 years 6 months ago
Dynamical Binary Latent Variable Models for 3D Human Pose Tracking
We introduce a new class of probabilistic latent variable model called the Implicit Mixture of Conditional Restricted Boltzmann Machines (imCRBM) for use in human pose tracking. K...
Graham Taylor, Leonid Sigal, David Fleet, Geoffrey...
PCM
2004
Springer
87views Multimedia» more  PCM 2004»
15 years 3 months ago
Easy and Convincing Ear Modeling for Virtual Human
In this paper, we describe the human ear creation in a system for 3-D photorealistic face modeling from frontal and profile images taken by an uncalibrated handheld digital camera...
Hui Zhang, In Kyu Park
ICIAP
2001
Springer
15 years 10 months ago
A Probabilistic Model for the Human Skin Color
We present a multivariate statistical model to represent the human skin color. In our approach, there are no limitations regarding if the person is white or black, once the model ...
Tibério S. Caetano, Dante Augusto Couto Bar...