3D simulator for human centrifuge motion testing and verification.
Maja M. LutovacVladimir KvrgicGoran FerencZoran DimicJelena VidakovicPublished in: MECO (2013)
Keyphrases
- static images
- space time
- image sequences
- motion capture data
- human movements
- human gait
- formal verification
- motion analysis
- motion estimation
- human arm
- symbolic execution
- motion segmentation
- optical flow
- gait analysis
- body movements
- body posture
- human walking
- motion planning
- human figure
- human movement
- test generation
- motion tracking
- motion capture
- motion patterns
- human subjects
- human motion
- motion model
- camera motion
- test cases
- dynamic scenes
- simulation model
- human experts
- upper body
- key frames
- model checking
- moving objects