221 search results - page 35 / 45 » Analyzing the Implicit Computational Complexity of object-or... |
PPOPP
2010
ACM
16 years 5 days ago
2010
ACM
We study the performance of three parallel algorithms and their hybrid variants for solving tridiagonal linear systems on a GPU: cyclic reduction (CR), parallel cyclic reduction (...
155
Voted
EMNLP
2010
15 years 28 days ago
2010
Extant Statistical Machine Translation (SMT) systems are very complex softwares, which embed multiple layers of heuristics and embark very large numbers of numerical parameters. A...
144
click to vote
STOC
2009
ACM
16 years 3 months ago
2009
ACM
Linear programming decoding for low-density parity check codes (and related domains such as compressed sensing) has received increased attention over recent years because of its p...
156
Voted
RTA
2005
Springer
15 years 8 months ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...
124
click to vote
SIGMOD
1999
ACM
15 years 7 months ago
1999
ACM
Several techniques that compute the join between two spatial datasets have been proposed during the last decade. Among these methods, some consider existing indices for the joined...