1222 search results - page 79 / 245 » corr 2008 |
125
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
People usually regard algorithms as more abstract than the programs that implement them. The natural way to formalize this idea is that algorithms are equivalence classes of progra...
160
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this note we prove a generalization of the flat extension theorem of Curto and Fialkow [4] for truncated moment matrices. It applies to moment matrices indexed by an arbitrary s...
153
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This management summary provides an outline of a commercial spreadsheet review process. The aim of this process is to ensure remedial or enhancement work can safely be undertaken ...
125
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
A mathematical model is developed that captures the transport of liquid water in hardened concrete, as well as the chemical reactions that occur between the imbibed water and the r...
147
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Random coding arguments are the backbone of most channel capacity achievability proofs. In this paper, we show that in their standard form, such arguments are insufficient for pro...