2018 search results - page 195 / 404 » Magnitude-preserving ranking algorithms |
164
click to vote
FORTE
2004
15 years 7 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
160
click to vote
WSC
2004
15 years 7 months ago
2004
Simulation plays a vital role in identifying the best system design from among a set of competing designs. To improve simulation efficiency, ranking and selection techniques are o...
180
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
Web pages, like people, are often known by others in a variety of contexts. When those contexts are sufficiently distinct, a page's importance may be better represented by mu...
171
click to vote
NAACL
2010
15 years 4 months ago
2010
This paper address the problem of entity linking. Specifically, given an entity mentioned in unstructured texts, the task is to link this entity with an entry stored in the existi...
197
click to vote
SIGIR
2011
ACM
14 years 9 months ago
2011
ACM
We consider an interactive information retrieval task in which the user is interested in finding several to many relevant documents with minimal effort. Given an initial documen...