Verification of Code Motion Techniques Using Value Propagation.
Kunal BanerjeeChandan KarfaDipankar SarkarChittaranjan A. MandalPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2014)
Keyphrases
- motion estimation
- image sequences
- human motion
- motion analysis
- motion model
- camera motion
- motion patterns
- motion detection
- space time
- source code
- motion parameters
- motion capture
- spatial and temporal
- optical flow
- visual perception
- motion planning
- motion field
- motion segmentation
- model checking
- action recognition
- image motion
- asynchronous circuits
- byte code