2061 search results - page 86 / 413 » Modeling search engine effectiveness for federated search |
170
click to vote
KDD
2009
ACM
15 years 10 months ago
2009
ACM
1 In this article, we report our efforts in mining the information encoded as clickthrough data in the server logs to evaluate and monitor the relevance ranking quality of a commer...
170
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
We investigate how people interact with Web search engine result pages using eye-tracking. While previous research has focused on the visual attention devoted to the 10 organic se...
151
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
178
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
As the scale and scope of distributed and multi-agent systems grow, it becomes increasingly important to design and manage the participants' interactions. The potential for b...
169
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...