Validation of formal models by refinement animation.
Stefan HallerstedeMichael LeuschelDaniel PlaggePublished in: Sci. Comput. Program. (2013)
Keyphrases
- formal models
- rule based systems
- formal model
- process model
- computer graphics
- motion capture
- model validation
- database
- pattern recognition
- clustering algorithm
- image processing
- data mining techniques
- human body
- knowledge representation
- video sequences
- artificial intelligence
- facial animation
- computer animation
- refinement process
- real world