Sciweavers

10296 search results - page 123 / 2060
» Distribution of Mutual Information
Sort
View
ECCV
2006
Springer
16 years 7 months ago
Robust Visual Tracking for Multiple Targets
We address the problem of robust multi-target tracking within the application of hockey player tracking. The particle filter technique is adopted and modified to fit into the multi...
Yizheng Cai, Nando de Freitas, James J. Little
APSEC
2005
IEEE
15 years 11 months ago
Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
Kazuhiro Ogata, Kokichi Futatsugi