509 search results - page 64 / 102 » Dynamic Modeling in Inductive Inference |
CVPR
2003
IEEE
14 years 10 months ago
2003
IEEE
Occlusion is a difficult problem for appearance-based target tracking, especially when we need to track multiple targets simultaneously and maintain the target identities during t...
NFM
2011
13 years 3 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
ECCV
2004
Springer
14 years 10 months ago
2004
Springer
Abstract. In this paper, we propose a particle filtering approach for tracking applications in image sequences. The system we propose combines a measurement equation and a dynamic ...
CONEXT
2007
ACM
13 years 12 months ago
2007
ACM
Motivated by the wide use of TCP for streaming in practice and the increasing availability of multipath between end hosts, we study multipath live streaming via TCP in this paper....
NIPS
1998
13 years 9 months ago
1998
The Expectation Maximization EM algorithm is an iterative procedure for maximum likelihood parameter estimation from data sets with missing or hidden variables 2 . It has been app...