334 search results - page 53 / 67 » Timed Property Sequence Chart |
FSTTCS
2009
Springer
14 years 2 months ago
2009
Springer
The paper focuses on the structure of fundamental sequences of ordinals smaller than ε0. A first result is the construction of a monadic second-order formula identifying a given ...
MOR
2010
13 years 5 months ago
2010
We study the convergence properties of an alternating proximal minimization algorithm for nonconvex structured functions of the type: L(x, y) = f(x)+Q(x, y)+g(y), where f : Rn → ...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Abstract—The paper studies the convergence properties of the estimation error processes in distributed Kalman filtering for potentially unstable linear dynamical systems. In par...
CVPR
2004
IEEE
14 years 9 months ago
2004
IEEE
Visual tracking using active contours is usually accomplished in a static framework. The active contour tracks the object of interest in a given frame of an image sequence, and th...
ICCV
2003
IEEE
14 years 9 months ago
2003
IEEE
See www.research.microsoft.com/jojic/epitome.htm for videos, comparisons and applications. We present novel simple appearance and shape models that we call epitomes. The epitome o...