Sciweavers

111 search results - page 7 / 23
» The Complexity of Local List Decoding
Sort
View
TCOM
2010
111views more  TCOM 2010»
14 years 10 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
14 years 10 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
153
Voted
GLOBECOM
2006
IEEE
15 years 6 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 13 days 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
68
Voted
ATVA
2004
Springer
77views Hardware» more  ATVA 2004»
15 years 5 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