Tracking Unsatisfiable Subformulas from Reduced Refutation Proof.
Jianmin ZhangShengYu ShenSikun LiPublished in: J. Softw. (2009)
Keyphrases
- theorem proving
- theorem prover
- automated theorem proving
- real time
- particle filter
- object tracking
- kalman filter
- significantly reduced
- visual tracking
- particle filtering
- challenging sequences
- mean shift
- image sequences
- information systems
- appearance model
- inference rules
- face recognition
- moving target
- target tracking
- real time tracking
- linear logic
- data sets