4541 search results - page 812 / 909 » Cache-Oblivious Algorithms and Data Structures |
149
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
The automatic identification of a user's task has the potential to improve information filtering systems that rely on implicit measures of interest and whose effectiveness ma...
173
click to vote
PPOPP
2009
ACM
16 years 6 months ago
2009
ACM
Irregular programs are programs organized around pointer-based data structures such as trees and graphs. Recent investigations by the Galois project have shown that many irregular...
185
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Online communities need regular maintenance activities such as moderation and data input, tasks that typically fall to community owners. Communities that allow all members to part...
174
click to vote
RECOMB
2003
Springer
16 years 6 months ago
2003
Springer
The availability of whole genome sequences and high-throughput genomic assays opens the door for in silico analysis of transcription regulation. This includes methods for discover...
210
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...