Origin Tracking for Higher-Order Term Rewriting Systems.
Arie van DeursenT. B. DineshPublished in: HOA (1993)
Keyphrases
- term rewriting systems
- higher order
- functional programs
- natural images
- logic programs
- particle filter
- high order
- visual tracking
- real time
- kalman filter
- databases
- particle filtering
- object tracking
- markov random field
- motion model
- appearance model
- moving target
- conditional random fields
- distributed database systems
- lower order
- data structure
- lambda calculus
- artificial intelligence