Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
Change detection using difference picture has been used to detect the location of moving targets and to track them. This method needs the assumption of static camera, and the glob...
Many emerging applications require tracking targets in video. Most existing visual tracking methods do not work well when the target is motion-blurred (especially due to fast moti...
Shengyang Dai, Ming Yang, Ying Wu, Aggelos K. Kats...
An efficient automatic moving target detection and tracking system in airborne forward looking infrared (FLIR) imagery is presented in this paper. Due to camera ego-motion, these ...
Carlos R. del-Blanco, Fernando Jaureguizar, Luis S...
In this paper, we propose an online motion capture marker labeling approach for multiple interacting articulated targets. Given hundreds of unlabeled motion capture markers from m...