8746 search results - page 487 / 1750 » Diversifying search results |
177
click to vote
AAAI
2000
15 years 8 months ago
2000
In this paper, we present PQSOLVE, a distributed theorem-prover for Quantified Boolean Formulae. First, we introduce our sequential algorithm QSOLVE, which uses new heuristics and...
140
click to vote
WEBNET
1998
15 years 8 months ago
1998
: User interfaces to WWW search engines typically present results as ranked lists of documents. Such lists give users little help in understanding document variation: we propose a ...
199
click to vote
WOA
2007
15 years 8 months ago
2007
—In this paper we present a multi-agent search technique to face the NP-hard single machine total weighted tardiness scheduling problem in presence of sequence-dependent setup ti...
195
click to vote
UAIS
2008
15 years 7 months ago
2008
: This paper describes the progress of a research project aimed at improving the usability of web search tools for blind users who interact via screen readers and voice synthesizer...
201
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In order to artificially boost the rank of commercial pages in search engine results, search engine optimizers pay for links to these pages on other websites. Identifying paid lin...