Runtime Verification with Particle Filtering.
Kenan KalajdzicEzio BartocciScott A. SmolkaScott D. StollerRadu GrosuPublished in: RV (2013)
Keyphrases
- particle filtering
- visual tracking
- particle filter
- contour tracking
- bayesian filtering
- kalman filter
- human motion
- conditional density
- appearance model
- object tracking
- human body tracking
- hand tracking
- kalman filtering
- mean shift
- video tracking
- state estimation
- human motion capture
- dynamic bayesian networks
- importance sampling
- multiple hypotheses
- robust object tracking
- articulated hand
- multiscale
- ego motion estimation
- video sequences
- sequential monte carlo
- tracking scheme
- observation model
- multiple targets
- spatio temporal
- pairwise
- object recognition
- swarm intelligent