Sciweavers

111 search results - page 7 / 23
» The Complexity of Local List Decoding
Sort
View
166
Voted
TCOM
2010
111views more  TCOM 2010»
15 years 4 months ago
Design of irregular LDPC codes with optimized performance-complexity tradeoff
—The optimal performance-complexity tradeoff for error-correcting codes at rates strictly below the Shannon limit is a central question in coding theory. This paper proposes a nu...
Benjamin Smith, Masoud Ardakani, Wei Yu, Frank R. ...
EMNLP
2009
15 years 3 months ago
A Syntactified Direct Translation Model with Linear-time Decoding
Recent syntactic extensions of statistical translation models work with a synchronous context-free or tree-substitution grammar extracted from an automatically parsed parallel cor...
Hany Hassan, Khalil Sima'an, Andy Way
250
Voted
GLOBECOM
2006
IEEE
15 years 12 months ago
A Lattice-Reduction-Aided Soft Detector for Multiple-Input Multiple-Output Channels
— Lattice basis reduction is a powerful technique that enables a hard-output detector for a multiple-input multiple-output channel to approach maximum-likelihood performance with...
David L. Milliner, John R. Barry
ECCC
2010
73views more  ECCC 2010»
15 years 5 months ago
Matching Vector Codes
An (r, , )-locally decodable code encodes a k-bit message x to an N-bit codeword C(x), such that for every i [k], the i-th message bit can be recovered with probability 1 - , by ...
Zeev Dvir, Parikshit Gopalan, Sergey Yekhanin
142
Voted
ATVA
2004
Springer
77views Hardware» more  ATVA 2004»
15 years 11 months ago
Localizing Errors in Counterexample with Iteratively Witness Searching
We propose a novel approach to locate errors in complex counterexample of safety property. Our approach measures the distance between two state transition traces with difference o...
ShengYu Shen, Ying Qin, Sikun Li