On the Tracking of Loops in Automated Deductions.

Manfred E. Szabo

Published in: CSL (1990)

Keyphrases

particle filter
real time
visual tracking
appearance model
fully automated
target tracking
semi automated
real time tracking
object tracking
particle filtering
control system
semi automatic
human motion
human operators
challenging sequences