101
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract--In this paper, we propose a linear complexity encoding method for arbitrary LDPC codes. We start from a simple graph-based encoding method "label-and-decide." W...
121
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Many problems in mathematics and computer science can be reduced to proving the satisfiability of conjunctions of literals in a background theory which is often the extension of a ...
41
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
CORR
2008
Springer
15 years 1 months ago
2008
Springer
TIES OF THE DISTRIBUTION OF ABSTRACT VAN DER CORPUT SEQUENCES WOLFGANG STEINER Abstract. Similarly to -adic van der Corput sequences, abstract van der Corput secan be defined by ab...
116
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
This paper presents a hierarchical Bayesian model to reconstruct sparse images when the observations are obtained from linear transformations and corrupted by an additive white Gau...
CORR
2008
Springer
15 years 1 months ago
2008
Springer
39
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
101
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Pure, or type-free, Linear Logic proof nets are Turing complete once cut-elimination is5 considered as computation. We introduce modal impredicativity as a new form of impredicati...
95
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
We develop and analyze M-estimation methods for divergence functionals and the likelihood ratios of two probability distributions. Our method is based on a non-asymptotic variatio...
106
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract--Discrete multitone modulation (DMT) systems exploit the capabilities of orthogonal subcarriers to cope efficiently with narrowband interference, high frequency attenuatio...