6129 search results - page 274 / 1226 » A parallel LLL algorithm |
DCC
2009
IEEE
16 years 3 months ago
2009
IEEE
This paper describes and evaluates pFPC, a parallel implementation of the lossless FPC compression algorithm for 64-bit floating-point data. pFPC can trade off compression ratio f...
107
click to vote
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...
134
Voted
OTM
2007
Springer
15 years 8 months ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
120
Voted
NAACL
2010
15 years 15 days ago
2010
Typical statistical machine translation systems are trained with static parallel corpora. Here we account for scenarios with a continuous incoming stream of parallel training data...
104
click to vote
PIMRC
2010
IEEE
15 years 14 days ago
2010
IEEE
A two-way relay channel with independent parallel Gaussian channels between the relay and the two terminals is considered. Focusing on the decode-and-forward protocol, the second p...