6129 search results - page 229 / 1226 » A parallel LLL algorithm |
108
click to vote
ICPP
1995
IEEE
15 years 5 months ago
1995
IEEE
Data-parallel primitives for performing operations on the PM1 quadtree and the bucket PMR quadtree are presented using the scan model. Algorithms are described for building these ...
112
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
We present a tool for parallel shared-memory enumerative LTL model-checking and reachability analysis. The tool is based on distributed-memory algorithms reimplemented specifically...
EMNLP
2008
15 years 3 months ago
2008
We improve the quality of paraphrases extracted from parallel corpora by requiring that phrases and their paraphrases be the same syntactic type. This is achieved by parsing the E...
101
click to vote
EACL
2003
ACL Anthology
15 years 3 months ago
2003
ACL Anthology
The Constraint Language for Lambda Structures (CLLS) is an expressive tree description language. It provides a uniform framework for underspecified semantics, covering scope, ell...
PAMI
1998
15 years 1 months ago
1998
—Algorithmic enhancements are described that enable large computational reduction in mean square-error data clustering. These improvements are incorporated into a parallel data-c...