Certifying Optimality of State Estimation Programs.
Grigore RosuRam Prasad VenkatesanJon WhittleLaurentiu LeusteanPublished in: CAV (2003)
Keyphrases
- state estimation
- kalman filter
- kalman filtering
- state space model
- particle filter
- extended kalman filter
- visual tracking
- dynamic systems
- particle filtering
- estimation problems
- multi sensor
- image segmentation
- optimal solution
- cooperative
- computationally efficient
- machine learning
- spatio temporal
- high dimensional
- pairwise
- multiscale
- computer vision