1483 search results - page 9 / 297 » Computer- Animation |
TLCA
2005
Springer
14 years 1 months ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
CGI
1997
IEEE
13 years 12 months ago
1997
IEEE
A methodology for controlling uid animations is developed using the concept of an embedded controller. A controller acts as an interface between the animator and a general tool fo...
VMCAI
2004
Springer
14 years 29 days ago
2004
Springer
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
SIGGRAPH
1994
ACM
13 years 11 months ago
1994
ACM
The work described here extends the power of 2D animation with a form of texture mapping conveniently controlled by line drawings. By tracing points, line segments, spline curves,...
TOG
2008
13 years 7 months ago
2008
We describe an automatic technique for generating the motion of tendons and muscles under the skin of a traditionally animated character. This is achieved by integrating the tradi...