Sciweavers

716 search results - page 19 / 144
» Algorithmic Issues in Coding Theory
Sort
View
CORR
2007
Springer
110views Education» more  CORR 2007»
15 years 2 months ago
On formulas for decoding binary cyclic codes
— We address the problem of the algebraic decoding of any cyclic code up to the true minimum distance. For this, we use the classical formulation of the problem, which is to fin...
Daniel Augot, Magali Bardet, Jean-Charles Faug&egr...
HASKELL
2009
ACM
15 years 8 months ago
A compositional theory for STM Haskell
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
Johannes Borgström, Karthikeyan Bhargavan, An...
CORR
2004
Springer
111views Education» more  CORR 2004»
15 years 2 months ago
Maximum-likelihood decoding of Reed-Solomon Codes is NP-hard
Maximum-likelihood decoding is one of the central algorithmic problems in coding theory. It has been known for over 25 years that maximum-likelihood decoding of general linear cod...
Venkatesan Guruswami, Alexander Vardy
122
Voted
ICIP
2009
IEEE
15 years 2 days ago
Model based analysis for quantization parameter cascading in hierarchical video coding
Originally, the hierarchical coding structure was proposed to achieve temporal scalability. Soon after, it was realized that with a proper quantization parameter cascading (QPC) s...
Xiang Li, Peter Amon, Andreas Hutter, André...
ICASSP
2011
IEEE
14 years 6 months ago
FOR/SOR video coding with super macroblock and inter-frame stripe prediction
A first-order-residual/second-order-residual (FOR/SOR) based video coding algorithm that incorporates the super macroblock (SMB) and the inter-frame stripe prediction (ISP) techn...
Je-Won Kang, Seung-Hwan Kim, C.-C. Jay Kuo