1451 search results - page 237 / 291 » Order independence and rationalizability |
127
click to vote
ECIR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper concerns document ranking in information retrieval. In information retrieval systems, the widely accepted probability ranking principle (PRP) suggests that, fo...
124
click to vote
ICCAD
2001
IEEE
15 years 8 months ago
2001
IEEE
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...
ETRA
2010
ACM
15 years 6 months ago
2010
ACM
In order to help users navigate an image search system, one could provide explicit information on a small set of images as to which of them are relevant or not to their task. Thes...
ICS
2009
Tsinghua U.
15 years 6 months ago
2009
Tsinghua U.
With the current trend toward multicore architectures, improved execution performance can no longer be obtained via traditional single-thread instruction level parallelism (ILP), ...
102
click to vote
EMSOFT
2009
Springer
15 years 6 months ago
2009
Springer
Scratchpads have been widely proposed as an alternative to caches for embedded systems. Advantages of scratchpads include reduced energy consumption in comparison to a cache and a...