5550 search results - page 1046 / 1110 » Different Approaches to Proof Systems |
102
Voted
CCGRID
2011
IEEE
14 years 2 months ago
2011
IEEE
—Coordinated Checkpoint/Restart (C/R) is a widely deployed strategy to achieve fault-tolerance. However, C/R by itself is not capable enough to meet the demands of upcoming exasc...
101
click to vote
KDD
2007
ACM
15 years 10 months ago
2007
ACM
Summarization is an important task in data mining. A major challenge over the past years has been the efficient construction of fixed-space synopses that provide a deterministic q...
ICFP
2005
ACM
15 years 10 months ago
2005
ACM
This paper explains how the high-level treatment of datatypes in functional languages--using features like constructor functions and pattern matching--can be made to coexist with ...
WSDM
2009
ACM
15 years 5 months ago
2009
ACM
There has been considerable past work on efficiently computing top k objects by aggregating information from multiple ranked lists of these objects. An important instance of this...
86
Voted
DATE
2009
IEEE
15 years 5 months ago
2009
IEEE
— BLAST is a very popular Computational Biology algorithm. Since it is computationally expensive it is a natural target for acceleration research, and many reconfigurable archite...