210 search results - page 23 / 42 » Universal Booleanization of Constraint Models |
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
Depth-map merging approaches have become more and
more popular in multi-view stereo (MVS) because of their
flexibility and superior performance. The quality of depth
map used fo...
FOIKS
2004
Springer
14 years 3 months ago
2004
Springer
We introduce a simple and practically efficient method for repairing inconsistent databases. The idea is to properly represent the underlying problem, and then use off-the-shelf a...
ATVA
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
PLILP
1998
Springer
14 years 1 months ago
1998
Springer
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
BMCBI
2004
13 years 9 months ago
2004
Background: Recent technological advances in high-throughput data collection allow for experimental study of increasingly complex systems on the scale of the whole cellular genome...