• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

David MonniauxCyril 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