971 search results - page 103 / 195 » Approximate Satisfiability and Equivalence |
113
Voted
CVPR
2005
IEEE
16 years 2 months ago
2005
IEEE
We present a novel approach for the estimation of 3Dmotion directly from two images using the Radon transform. We assume a similarity function defined on the crossproduct of two i...
138
Voted
ECCV
2002
Springer
16 years 2 months ago
2002
Springer
When estimating foreground and background layers (or equivalently an alpha matte), it is often the case that pixel measurements contain mixed colours which are a combination of for...
104
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
97
Voted
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
178
Voted
SIGMOD
2005
ACM
16 years 27 days ago
2005
ACM
Data integrated from multiple sources may contain inconsistencies that violate integrity constraints. The constraint repair problem attempts to find "low cost" changes t...