882 search results - page 63 / 177 » Local Search for Very Large SAT Problems |
136
click to vote
CP
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In the last decades, the Satisfiability and Constraint Satisfaction Problem frameworks were extended to integrate aspects such as uncertainties, partial observabilities, ...
110
click to vote
MICCAI
2010
Springer
14 years 10 months ago
2010
Springer
Segmentation of surgical devices in fluoroscopic images and in particular of guide-wires is a valuable element during surgery. In cardiac angioplasty, the problem is particularly ...
CVPR
2010
IEEE
15 years 1 months ago
2010
IEEE
Image similarity search is a fundamental problem in computer vision. Efficient similarity search across large image databases depends critically on the availability of compact ima...
WISE
2002
Springer
15 years 4 months ago
2002
Springer
A distributed search system consists of a large number of autonomous search servers logically connected in a peerto-peer network. Each search server maintains a local index of a c...
110
click to vote
SKG
2006
IEEE
15 years 5 months ago
2006
IEEE
The simplicity and robustness of unstructured P2P system make it a preferable architecture for constructing real large scale file sharing system. Most of the existing paradigms re...