Sciweavers

738 search results - page 22 / 148
» Exploiting Locality in Searching the Web
Sort
View
IJCAI
2003
15 years 4 months ago
Backbone Guided Local Search for Maximum Satisfiability
Maximum satisfiability (Max-SAT) is more general and more difficult to solve than satisfiability (SAT). In this paper, we first investigate the effectiveness of Walksat, one of th...
Weixiong Zhang, Ananda Rangan, Moshe Looks
135
Voted
ECAI
2008
Springer
15 years 5 months ago
Justification-Based Non-Clausal Local Search for SAT
While stochastic local search (SLS) techniques are very efficient in solving hard randomly generated propositional satisfiability (SAT) problem instances, a major challenge is to i...
Matti Järvisalo, Tommi A. Junttila, Ilkka Nie...
ICASSP
2011
IEEE
14 years 7 months ago
Location-aware query parsing for mobile voice search
Mobile voice search provides users an easier way to search for information using voice from mobile devices. Most mobile search applications have access to the latitude/longitude c...
Junlan Feng
134
Voted
MICRO
2008
IEEE
146views Hardware» more  MICRO 2008»
15 years 3 months ago
A small cache of large ranges: Hardware methods for efficiently searching, storing, and updating big dataflow tags
Dynamically tracking the flow of data within a microprocessor creates many new opportunities to detect and track malicious or erroneous behavior, but these schemes all rely on the...
Mohit Tiwari, Banit Agrawal, Shashidhar Mysore, Jo...
107
Voted
WWW
2001
ACM
16 years 4 months ago
Improving Web Site's Accessibility
We consider the problem of improving the performance of web access by proposing a reconstruction of the internal link structure of a web site in order to match the quality of the ...
John D. Garofalakis, Panagiotis Kappos, Christos M...