Fault-safe code motion for type-safe languages.
Brian R. MurphyVijay MenonFlorian T. SchneiderTatiana ShpeismanAli-Reza Adl-TabatabaiPublished in: CGO (2008)
Keyphrases
- image sequences
- camera motion
- motion estimation
- motion analysis
- expressive power
- fault detection
- spatial and temporal
- fault diagnosis
- neural network
- reference frame
- first order logic
- optical flow
- spatio temporal
- databases
- action recognition
- space time
- feature points
- motion model
- moving objects
- motion field
- dynamic scenes
- motion planning
- video sequences
- language independent