7988 search results - page 1292 / 1598 » A Useful Undecidable Theory |
178
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose a natural generalisation of asynchronous bounded delay (ABD) network models. The commonly used ABD models assume a known bound on message delay. This assumption is ofte...
129
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Several analog-to-digital conversion methods for bandlimited signals used in applications, such as quantization schemes, employ coarse quantization coupled with oversampling. The...
155
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
162
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract--We consider multiaccess multiple-input multipleoutput (MIMO) systems with finite rate feedback with the aim of understanding how to efficiently employ the given feedback ...
186
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract--We show that the maximization of the sum degreesof-freedom for the static flat-fading multiple-input multipleoutput (MIMO) interference channel is equivalent to a rank co...