10790 search results - page 207 / 2158 » Using feature models to automate model transformations |
157
click to vote
GMP
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract. We present an approach for robust shape retrieval from databases containing articulated 3D shapes. We represent each shape by the eigenvectors of an appropriately define...
307
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
152
click to vote
WSC
2001
15 years 8 months ago
2001
In response to the expressed needs of MedModel users, PROMODEL Corporation has made substantial improvements in its MedModel healthcare simulation software. Beginning with its inc...
207
click to vote
WACV
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper addresses the 3D tracking of pose and animation of the human face in monocular image sequences using deformable 3D models. For each frame, the proposed adaptation is sp...
161
click to vote
WCRE
1999
IEEE
15 years 10 months ago
1999
IEEE
Software architecture, as a vehicle for communication and reasoning about software systems and their quality, is becoming an area of focus in both the forward- and reverseengineer...