The Power and Performance of Proof Animation.

Nancy J. Earle James O. Henriksen

Published in: WSC (1995)

Keyphrases

power consumption
computer animation
data sets
user interface
theorem prover
motion capture
information systems
human computer interaction
linear logic
power distribution