Addressing problem frame concerns via coloured petri nets and graphical animation.
Jens Bæk JørgensenPublished in: IWAAPF@ICSE (2006)
Keyphrases
- coloured petri nets
- formal verification
- computer graphics
- video frames
- single frame
- reference frame
- motion capture
- optical flow
- query language for xml
- data sets
- computer animation
- graphical representations
- visual representations
- graphical representation
- image frames
- frame rate
- human motion
- image sequences
- three dimensional
- computer vision