466 search results - page 17 / 94 » Representation and Computation of Boolean Combinations of Sc... |
GECCO
2009
Springer
14 years 1 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
14 years 9 months 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
14 years 10 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
14 years 19 days 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 ...
CVPR
2009
IEEE
15 years 3 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...