178 search results - page 10 / 36 » Can Proofs Be Animated By Games |
SIGGRAPH
2010
ACM
13 years 11 months ago
2010
ACM
Achieving interactive performance in cloth animation has significant implications in computer games and other interactive graphics applications. Although much progress has been m...
GAMEON
2003
13 years 8 months ago
2003
The generation of animated human figures especially in crowd scenes has many applications in such domains as the special effects industry, computer games or for the simulation of ...
SIGGRAPH
1997
ACM
13 years 11 months ago
1997
ACM
We describe a new approach for simulating apparent camera motion through a 3D environment. The approach is motivated by a traditional technique used in 2D cel animation, in which ...
TOG
2002
13 years 7 months ago
2002
Real-time control of three-dimensional avatars is an important problem in the context of computer games and virtual environments. Avatar animation and control is difficult, howeve...
CSFW
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...