7421 search results - page 245 / 1485 » In search of dependable design |
155
click to vote
SIGIR
2004
ACM
16 years 4 days ago
2004
ACM
Large quantities of documents in the Internet and digital libraries are simply scanned and archived in image format, many of which are packed in PDF files. The word search tool pr...
153
click to vote
SAT
2004
Springer
16 years 2 days ago
2004
Springer
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
179
click to vote
WWW
2010
ACM
16 years 20 hour ago
2010
ACM
Key-value stores (KVSs) are the most prevalent storage systems for large scale web services. As they do not have the structural complexities of RDBMSs, they are more efficient. In...
201
click to vote
SAGA
2001
Springer
15 years 11 months ago
2001
Springer
We propose a generic, domain-independent local search method called adaptive search for solving Constraint Satisfaction Problems (CSP). We design a new heuristics that takes advan...
159
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
Software tools for personal photo collection management are proliferating, but they usually have limited searching and browsing functions. We implemented the PhotoFinder prototype...