4029 search results - page 501 / 806 » Reconfigurable Systems in Education |
197
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Metric Temporal Logic (MTL) is a prominent specification formalism for realtime systems. In this paper, we show that the satisfiability problem for MTL over finite tim...
161
Voted
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract— We consider power allocation algorithms for fixedrate transmission over Nakagami-m non-ergodic block-fading channels with perfect transmitter and receiver channel stat...
185
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...
202
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
This paper considers the multi-input multi-output (MIMO) relay channel where multiple antennas are employed by each terminal. Compared to single-input singleoutput (SISO) relay ch...
181
Voted
CORR
2007
Springer
15 years 7 months ago
2007
Springer
— Convexity/concavity properties of symbol error rates (SER) of the maximum likelihood detector operating in the AWGN channel (non-fading and fading) are studied. Generic conditi...