305 search results - page 27 / 61 » From Sets to Bits in Coq |
78
Voted
TIT
2011
14 years 5 months ago
2011
—The capacity of 1-D constraints is given by the entropy of a corresponding stationary maxentropic Markov chain. Namely, the entropy is maximized over a set of probability distri...
DCC
2010
IEEE
15 years 5 months ago
2010
IEEE
We present a technique that compresses a string w by enumerating all the substrings of w. The substrings are enumerated from the shortest to the longest and in lexicographic order...
PIMRC
2008
IEEE
15 years 5 months ago
2008
IEEE
—Suboptimal detection schemes, such as list MIMO detection, often face the challenge of having to “guess” at the decision reliability for some of the detected bits. A simple ...
ISCAS
2007
IEEE
15 years 5 months ago
2007
IEEE
—This paper presents a DAC architecture built on parallel current-steering sub-DAC entities. Two main novelties are explored: flexibility and smartness. Firstly, a number of avai...
88
Voted
ICMCS
2009
IEEE
14 years 8 months ago
2009
IEEE
This paper proposes a novel fractional compensation approach for spatial scalable video coding. It simultaneously exploits inter layer correlation and intra layer correlation by l...