589 search results - page 60 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
182
click to vote
CAMP
2005
IEEE
15 years 12 months ago
2005
IEEE
— For a peer-to-peer (P2P) system holding massive amount of data, an efficient and scalable search for resource sharing is a key determinant to its practical usage. Unstructured...
130
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
In this paper, we propose a novel component-wise smoothing algorithm that constructs a hierarchy (or family) of smoothened log-likelihood surfaces. Our approach first smoothens th...
184
click to vote
ICMCS
2006
IEEE
16 years 10 days ago
2006
IEEE
We present VideoPot, a desktop video search system designed for digital video files stored on personal computers. The core metric of this system is based on video-indexing techno...
176
click to vote
FGCS
2008
15 years 4 months ago
2008
The World Wide Web is growing at such a pace that even the biggest centralized search engines are able to index only a small part of the available documents on the Internet. The d...
182
click to vote
PVLDB
2008
15 years 5 months ago
2008
In this paper we propose a novel document retrieval model in which text queries are augmented with multi-dimensional taxonomy restrictions. These restrictions may be relaxed at a ...