1483 search results - page 64 / 297 » Computer- Animation |
TACAS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
CGF
2005
13 years 10 months ago
2005
We present a novel framework for the efficient simulation and animation of discrete thin shells. Our method takes a point sampled surface as input and performs all necessary compu...
FIMH
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Over the past several decades, the mouse has gained prominence in the cardiac electrophysiology literature as the animal model of choice. Using computer models of the mou...
SIGGRAPH
1999
ACM
14 years 2 months ago
1999
ACM
This paper presents a streaming technique for synthetic texture intensive 3D animation sequences. There is a short latency time while downloading the animation, until an initial f...
VC
2010
13 years 8 months ago
2010
This paper presents an animation system that generates an animation from natural language texts such as movie scripts or stories. It also proposes a framework for a motion database...