1138 search results - page 132 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, or...
ACCV
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. This paper addresses the problem of articulated motion tracking from image sequences. We describe a method that relies on an explicit parameterization of the extremal con...
CGF
2008
13 years 8 months ago
2008
Aging has considerable visual effects on the human face and is difficult to simulate using a universally-applicable global model. In this paper, we focus on the hypothesis that th...
ICCV
2009
IEEE
15 years 29 days ago
2009
IEEE
In this paper, we consider the problem of recovering the
spatial layout of indoor scenes from monocular images. The
presence of clutter is a major problem for existing singleview...
ICIP
2009
IEEE
14 years 9 months ago
2009
IEEE
We consider the problem of head tracking and pose estimation in realtime from low resolution images. Tracking and pose recognition are treated as two coupled problems in a probabi...