466 search results - page 17 / 94 » Representation and Computation of Boolean Combinations of Sc... |
109
click to vote
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
We present a novel stereo vision modeling framework that generates approximate, yet physically-plausible representations of objects rather than creating accurate models that are c...
DAC
2003
ACM
16 years 22 days ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
ECCV
2002
Springer
16 years 1 months ago
2002
Springer
Abstract. In many vision problems, the observed data lies in a nonlinear manifold in a high-dimensional space. This paper presents a generic modelling scheme to characterize the no...
VLDB
1992
ACM
15 years 3 months ago
1992
ACM
We propose an extended relational database model which can model both uncertainty and imprecision in data. This model is basedon Dempster-Shafertheory which has become popular in ...
93
Voted
CVPR
2009
IEEE
16 years 6 months ago
2009
IEEE
A variety of flexible models have been proposed to detect
objects in challenging real world scenes. Motivated
by some of the most successful techniques, we propose a
hierarchica...