10909 search results - page 637 / 2182 » Evaluating Backup Algorithms |
155
click to vote
CEC
2005
IEEE
16 years 25 days ago
2005
IEEE
Despite the existence of a number of procedures for real-parameter optimization using evolutionary algorithms, there is still a need of a systematic and unbiased comparison of di...
267
click to vote
CHARME
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
202
click to vote
CC
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...
169
click to vote
EUROCRYPT
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. We present a technique for Merkle tree traversal which requires only logarithmic space and time1 . For a tree with N nodes, our algorithm computes sequential tree leaves ...
194
click to vote
ICTAI
2003
IEEE
16 years 14 days ago
2003
IEEE
In this paper, we propose a parallel algorithm for mining maximal frequent itemsets from databases. A frequent itemset is maximal if none of its supersets is frequent. The new par...