4421 search results - page 859 / 885 » Libraries |
138
click to vote
SIGIR
2008
ACM
15 years 1 months ago
2008
ACM
Motivated by our work with political scientists who need to manually analyze large Web archives of news sites, we present SpotSigs, a new algorithm for extracting and matching sig...
109
click to vote
SIGIR
2008
ACM
15 years 1 months ago
2008
ACM
Online communities have become popular for publishing and searching content, as well as for finding and connecting to other users. User-generated content includes, for example, pe...
150
click to vote
SIGMETRICS
2008
ACM
15 years 1 months ago
2008
ACM
Memory trace analysis is an important technology for architecture research, system software (i.e., OS, compiler) optimization, and application performance improvements. Many appro...
126
click to vote
IJHPCA
2007
15 years 1 months ago
2007
A key characteristic of today’s high performance computing systems is a physically distributed memory, which makes the efficient management of locality essential for taking adv...
155
click to vote
AI
2005
Springer
15 years 1 months ago
2005
Springer
Maximum Boolean satisfiability (max-SAT) is the optimization counterpart of Boolean satisfiability (SAT), in which a variable assignment is sought to satisfy the maximum number of...