2504 search results - page 407 / 501 » Methods for comparing rankings of search engine results |
124
click to vote
SIGIR
2010
ACM
15 years 1 months ago
2010
ACM
In information retrieval (IR), research aiming to reduce the cost of retrieval system evaluations has been conducted along two lines: (i) the evaluation of IR systems with reduced...
125
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
121
click to vote
ADHOC
2008
15 years 1 months ago
2008
Energy efficiency and positional accuracy are often contradictive goals. We propose to decrease power consumption without sacrificing significant accuracy by developing an energy-...
TSP
2008
15 years 1 months ago
2008
This paper studies the blind block synchronization problem in block transmission systems using linear redundant precoders (LRP). Two commonly used LRP systems, namely, zero padding...
107
click to vote
SPIN
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...