Sciweavers

3107 search results - page 211 / 622
» Error-Correcting Source Code
Sort
View
FLOPS
2010
Springer
15 years 11 months ago
Code Generation via Higher-Order Rewrite Systems
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
Florian Haftmann, Tobias Nipkow
ISCAS
2011
IEEE
288views Hardware» more  ISCAS 2011»
14 years 8 months ago
Complexity-constrained rate-distortion optimization for h.264/avc video coding
In order to enable real-time software-based video encoding, in this work we optimized the prediction stage of an H.264 video encoder, in the complexity sense. Thus, besides lookin...
Tiago A. da Fonseca, Ricardo L. de Queiroz
ACIVS
2006
Springer
15 years 11 months ago
Scalable and Channel-Adaptive Unequal Error Protection of Images with LDPC Codes
This paper considers the design of an optimal joint source-channel coding system employing scalable wavelet-based source coders and unequal error protection for error-resilient tra...
Adrian Munteanu, Maryse R. Stoufs, Jan Cornelis, P...
ICML
2002
IEEE
16 years 5 months ago
Combining Labeled and Unlabeled Data for MultiClass Text Categorization
Supervised learning techniques for text classi cation often require a large number of labeled examples to learn accurately. One way to reduce the amountoflabeled datarequired is t...
Rayid Ghani
INFOCOM
2009
IEEE
15 years 11 months ago
Extreme Value FEC for Wireless Data Broadcasting
Abstract—The advent of practical rateless codes enables implementation of highly efficient packet-level forward error correction (FEC) strategies for reliable data broadcasting ...
Weiyao Xiao, David Starobinski