1160 search results - page 188 / 232 » Revisiting the Sequence Constraint |
158
click to vote
VLSM
2005
Springer
15 years 11 months ago
2005
Springer
We present a mathematical and computational feasibility study of the variational convex decomposition of 2D vector fields into coherent structures and additively superposed flow ...
213
click to vote
IWCM
2004
Springer
15 years 11 months ago
2004
Springer
We present a probabilistic framework for component-based automatic detection and tracking of objects in video. We represent objects as spatio-temporal two-layer graphical models, w...
200
click to vote
3DIM
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we present a new approach to high quality 3D object reconstruction. Starting from a calibrated sequence of color images, the algorithm is able to reconstruct both t...
138
click to vote
ACSD
2003
IEEE
15 years 11 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
167
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
— The goal of this study is a system for a robot to imitate human dances. This paper describes the process to generate whole body motions which can be performed by an actual bipe...