2343 search results - page 170 / 469 » Visual-Concept Search Solved |
130
click to vote
FLAIRS
2003
15 years 6 months ago
2003
This paper presents the Incremental Breakout Algorithm with Variable Ordering (IncBA). This algorithm belongs to the class of local search algorithms for solving Constraint Satisf...
148
Voted
IJCV
2006
15 years 5 months ago
2006
Suppose two perspective views of four world points are given and that the intrinsic parameters are known but the camera poses and the world point positions are not. We prove that t...
146
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
Instances of the Boolean satisfiability problem (SAT) arise in many areas of circuit design and verification. These instances are typically constructed from some human-designed ar...
169
click to vote
SCIA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Level set methods are a popular way to solve the image segmentation problem in computer image analysis. A contour is implicitly represented by the zero level of a signed ...
144
click to vote
CPAIOR
2007
Springer
15 years 11 months ago
2007
Springer
The Open-Shop Problem is a hard problem that can be solved using Constraint Programming or Operation Research methods. Existing techniques are efficient at reducing the search tree...