A Tracking Semantics for CSP.
Marisa LlorensJavier OliverJosep SilvaSalvador TamaritPublished in: MPC (2010)
Keyphrases
- real time
- constraint satisfaction problems
- particle filter
- object tracking
- decomposition methods
- formal semantics
- moving target
- constraint satisfaction
- appearance model
- neural network
- robust tracking
- constraint propagation
- visual tracking
- constraint programming
- kalman filter
- motion model
- motion tracking
- programming language
- deformable objects
- image sequences
- knowledge base
- constraint solving