2061 search results - page 201 / 413 » Modeling search engine effectiveness for federated search |
232
click to vote
JCDL
2011
ACM
14 years 9 months ago
2011
ACM
Serendipity occurs when one finds an interesting discovery while searching for something else. In digital libraries, recommendation engines are particularly well-suited for seren...
153
click to vote
AMAST
2004
Springer
15 years 12 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
216
click to vote
IS
2011
15 years 1 months ago
2011
—It is common for large and complex organizations to maintain repositories of business process models in order to document and to continuously improve their operations. Given suc...
211
click to vote
TABLEAUX
1998
Springer
15 years 10 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
161
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
We describe a method for applying parsimonious language models to re-estimate the term probabilities assigned by relevance models. We apply our method to six topic sets from test ...