Translation Validation of Code Motion Transformations Involving Loops.
Ramanuj ChoukseyChandan KarfaPurandar BhaduriPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2019)
Keyphrases
- motion estimation
- image sequences
- motion analysis
- rotation and translation
- optical flow
- human motion
- motion patterns
- motion detection
- source code
- motion parameters
- geometric algebra
- motion tracking
- motion field
- space time
- machine translation
- motion segmentation
- motion model
- camera motion
- configuration space
- spatio temporal
- motion planning
- motion capture
- query translation
- optic flow
- visual perception
- feature points
- moving objects