1421 search results - page 283 / 285 » The First and Second Max-SAT Evaluations |
EUROSYS
2011
ACM
14 years 29 days ago
2011
ACM
Buffer caches in operating systems keep active file blocks in memory to reduce disk accesses. Related studies have been focused on how to minimize buffer misses and the caused pe...
EUROSYS
2011
ACM
14 years 29 days ago
2011
ACM
This paper presents Keypad, an auditing file system for theftprone devices, such as laptops and USB sticks. Keypad provides two important properties. First, Keypad supports fine...
192
click to vote
IRFC
2011
Springer
14 years 26 days ago
2011
Springer
Search engine result pages (SERPs) are known as the most expensive real estate on the planet. Most queries yield millions of organic search results, yet searchers seldom look beyon...
107
Voted
SDM
2011
SIAM
14 years 8 days ago
2011
SIAM
A binary matrix is fully nested if its columns form a chain of subsets; that is, any two columns are ordered by the subset relation, where we view each column as a subset of the r...
105
Voted
SIGIR
2011
ACM
2011
ACM
Find it if you can: a game for modeling different types of web search success using interaction data
14 years 8 days ago
A better understanding of strategies and behavior of successful searchers is crucial for improving the experience of all searchers. However, research of search behavior has been s...