2504 search results - page 163 / 501 » Methods for comparing rankings of search engine results |
103
click to vote
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
Most people have long term information interests. Current Web search engines satisfy immediate information needs. Specific sites support tracking of long term interests. We prese...
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
100
Voted
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Most existing video denoising algorithms assume a single statistical model of image noise, e.g. additive Gaussian white noise, which often is violated in practice. In this paper, ...
110
click to vote
ML
2006
ACM
15 years 7 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
148
click to vote
SOCIALCOM
2010
14 years 11 months ago
2010
We explore the hypothesis that it is possible to obtain information about the dynamics of a blog network by analysing the temporal relationships between blogs at a semantic level, ...