3677 search results - page 79 / 736 » Generalized Adaptive A* |
191
click to vote
HPCC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We improve the performance of sparse matrix-vector multiplication (SpMV) on modern cache-based superscalar machines when the matrix structure consists of multiple, irregu...
147
click to vote
SPAA
2004
ACM
15 years 11 months ago
2004
ACM
Given two admission control algorithms that are cA-acceptcompetitive and cR-reject-competitive respectively, we give two ways to make an algorithm that is simultaneously O(cA)acce...
175
click to vote
LATIN
2004
Springer
15 years 11 months ago
2004
Springer
We study the problem of non-interactive correlation distillation (NICD). Suppose Alice and Bob each has a string, denoted by A = a0a1 · · · an−1 and B = b0b1 · · · bn−1,...
143
click to vote
RECOMB
2001
Springer
15 years 10 months ago
2001
Springer
The primary structure of a ribonucleic acid (RNA) molecule is a sequence of nucleotides (bases) over the four-letter alphabet fA; C; G; Ug. The secondary or tertiary structure of ...
192
click to vote
ICLP
1999
Springer
15 years 10 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...