Sciweavers

1632 search results - page 158 / 327
» Topological Analysis of Refinement
Sort
View
ECCV
2008
Springer
15 years 5 months ago
Robust Object Tracking by Hierarchical Association of Detection Responses
Abstract. We present a detection-based three-level hierarchical association approach to robustly track multiple objects in crowded environments from a single camera. At the low lev...
Chang Huang, Bo Wu, Ramakant Nevatia
127
Voted
FMSB
2008
130views Formal Methods» more  FMSB 2008»
15 years 5 months ago
Approximating Continuous Systems by Timed Automata
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
Oded Maler, Grégory Batt
163
Voted
ASAP
2010
IEEE
193views Hardware» more  ASAP 2010»
15 years 5 months ago
Automatic generation of polynomial-based hardware architectures for function evaluation
Abstract--Polynomial approximation is a very general technique for the evaluation of a wide class of numerical functions of one variable. This article details an architecture gener...
Florent de Dinechin, Mioara Joldes, Bogdan Pasca
FOIS
2008
15 years 5 months ago
An Ontology for Grounding Vague Geographic Terms
Many geographic terms, such as "river" and "lake", are vague, with no clear boundaries of application. In particular, the spatial extent of such features is oft...
Brandon Bennett, David Mallenby, Allan Third
UAI
2008
15 years 5 months ago
Inference for Multiplicative Models
The paper introduces a generalization for known probabilistic models such as log-linear and graphical models, called here multiplicative models. These models, that express probabi...
Ydo Wexler, Christopher Meek