1190 search results - page 140 / 238 » The Continuing Quest for Abstraction |
CC
2003
Springer
14 years 2 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
ECCV
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We present a continuous optimization framework for interactive tracking of 2D generic objects in a single video stream. The user begins with specifying the locations of a...
ECCV
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Movies and TV are a rich source of diverse and complex video of people, objects, actions and locales "in the wild". Harvesting automatically labeled sequences o...
ECCV
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. Bottom-up approaches, which rely mainly on continuity principles, are often insufficient to form accurate segments in natural images. In order to improve performance, rec...
ECCV
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. Successful multi-target tracking requires solving two problems - localize the targets and label their identity. An isolated target's identity can be unambiguously pr...