235 search results - page 32 / 47 » A Symbolic Symbolic State Space Representation |
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
ICC
2007
IEEE
15 years 3 months ago
2007
IEEE
— It is demonstrated that iteratively Decoded Variable Length Space Time Coded Modulation (VL-STCM-ID) schemes are capable of simultaneously providing both coding gain as well as...
101
click to vote
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
In this paper, a novel closed-loop distributed extended orthogonal space time block code (D-EO-STBC) with one-bit feedback based on selection of phase rotation is proposed for two...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Distributed space-time block coding is a diversity technique to mitigate the effects of fading in multi-hop wireless networks, where multiple relay stages are used by a source to ...
ICPR
2006
IEEE
15 years 10 months ago
2006
IEEE
Distance functions are an important component in many learning applications. However, the correct function is context dependent, therefore it is advantageous to learn a distance f...