Simple, light, yet formally verified, global common subexpression elimination and loop-invariant code motion.

David Monniaux Cyril Six

Published in: LCTES (2021)

Keyphrases

motion analysis
image sequences
space time
motion model
human motion
moving objects
camera motion
motion parameters
optical flow
source code
vision system
motion field
visual perception