42230 search results - page 214 / 8446 » Algorithms and Complexity Results for |
190
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Result diversity is a topic of great importance as more facets of queries are discovered and users expect to find their desired facets in the first page of the results. However,...
161
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
We present a novel language-model-based approach to reranking an initially retrieved list so as to improve precision at top ranks. Our model integrates whole-document information ...
156
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
We provide a characterization of Horn cores for formulas in conjunctive normal form (CNF) and, based on it, a novel algorithm for computing Horn cores of disjunctions of Horn CNFs ...
172
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Motivated by recent applications of pushdown systems to computer security problems, we present an efficient algorithm for the reachability problem of alternating pushdown systems. ...
177
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Understanding user intent is key to designing an effective ranking system in a search engine. In the absence of any explicit knowledge of user intent, search engines want to diver...