82 search results - page 3 / 17 » A Formal Framework for the Objective Evaluation of Edge Dete... |
IWCM
2004
Springer
14 years 22 days 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...
TYPES
2007
Springer
14 years 1 months ago
2007
Springer
We present a procedure for computing normal forms of terms in Abadi and Cardelli’s functional object calculus. Even when equipped with simple types, terms of this calculus are no...
ICCV
2009
IEEE
15 years 10 days ago
2009
IEEE
We propose a novel approach for multi-person trackingby-
detection in a particle filtering framework. In addition
to final high-confidence detections, our algorithm uses the
con...
IEE
2008
13 years 7 months ago
2008
: Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as pa...
ICFEM
1997
Springer
13 years 11 months ago
1997
Springer
Previous work has addressed the development of a framework to categorise and understand agent-based systems. It described and formalised an agent-hierarchy that included objects, ...