3928 search results - page 388 / 786 » order 2006 |
192
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
167
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
: We will study convolutional codes with the help of state space realizations. It will be shown that two such minimal realizations belong to the same code if and only if they are e...
194
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
- A new class of Quasi-Orthogonal Space-Time Block Code (QO-STBC) namely Minimum-DecodingComplexity QO-STBC (MDC-QOSTBC) has recently been proposed in the literature. In this paper...
163
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Motivated by applications of rateless coding, decision feedback, and automatic repeat request (ARQ), we study the problem of universal decoding for unknown channels in the presence...
131
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
This article addresses the problem of two- and higher dimensional pattern matching, i.e. the identification of instances of a template within a larger signal space, which is a for...