238 search results - page 12 / 48 » Covering Codes for Hats-on-a-line |
IEEEARES
2007
IEEE
15 years 6 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
ECLIPSE
2004
ACM
15 years 5 months ago
2004
ACM
Programming courses of all levels rely heavily on code examples. Often, to cover non-trivial subjects, it is convenient to present examples in the form of a tutorial. Such tutoria...
100
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
In this paper, we propose a new coding scheme for the general relay channel. This coding scheme is in the form of a block Markov code. The transmitter uses a superposition Markov ...
120
click to vote
MEDIAFORENSICS
2010
15 years 1 months ago
2010
In this paper, we propose a practical approach to minimizing embedding impact in steganography based on syndrome coding and trellis-coded quantization and contrast its performance...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...