General-purpose concurrent and post-processed animation with Proof.
James O. HenriksenPublished in: WSC (1999)
Keyphrases
- post processed
- general purpose
- post processing
- special purpose
- application specific
- programming language
- computer graphics
- domain specific
- theorem prover
- motion capture
- tightly coupled
- preprocessing
- mutual exclusion
- theorem proving
- software engineering
- information systems
- real time
- mathematical proofs
- computer animation
- automated theorem proving
- user interface
- three dimensional
- web services
- computer vision
- social networks
- search engine
- information retrieval
- machine learning