1716 search results - page 66 / 344 » Generating models for temporal representations |
171
click to vote
ISBI
2002
IEEE
16 years 6 months ago
2002
IEEE
We propose a new global registration method for estimating the cardiac displacement field in 2D sequences of ultrasound images of the heart. The basic idea is to select a referenc...
181
click to vote
MMM
2008
Springer
16 years 16 days ago
2008
Springer
3D motion capture is a form of multimedia data that is widely used in animation and medical fields (such as physical medicine and rehabilitation where body joint analysis is neede...
175
click to vote
ACMACE
2009
ACM
15 years 4 months ago
2009
ACM
In this paper we propose a novel approach for generating expressive caricatures from an input image. The novelty of this work comes from combining an Active Appearance Model facia...
154
click to vote
EMSOFT
2009
Springer
16 years 22 days ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
164
click to vote
FMSD
2000
15 years 6 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...