Sciweavers

1147 search results - page 167 / 230
» Termination in language-based systems
Sort
View
ICC
2007
IEEE
131views Communications» more  ICC 2007»
14 years 4 months ago
Cooperative Resource Management in Cognitive Radio
Cognitive radio is generally understood as an intelligent wireless communication system aiming at the efficient utilization of radio resources. We argue for the extension of its sc...
Vuk Marojevic, Xavier Revés, Antoni Gelonch
ICC
2007
IEEE
211views Communications» more  ICC 2007»
14 years 4 months ago
MIMO Cooperative Diversity in a Transmit Power Limited Environment
— This paper considers a fading relay channel where the total transmit power used is constrained to be equal to that of the standard single-hop channel. The relay channel used op...
Allan J. Jardine, Steve McLaughlin, John S. Thomps...
SECON
2007
IEEE
14 years 4 months ago
CODE: Cooperative Medium Access for Multirate Wireless Ad Hoc Network
— Cooperative communications can help combat fading and hence can significantly increase the capacity of wireless networks. Although various schemes have been proposed to levera...
Kefeng Tan, Zhiwen Wan, Hao Zhu, Jean Andrian
VTC
2007
IEEE
14 years 4 months ago
Decision Directed Channel Estimation Employing Projection Approximation Subspace Tracking
— The attainable capacity and integrity of a state-of-the-art broadband multi-carrier communication system is highly sensitive to the accuracy of the information available concer...
Jos Akhtman, Lajos Hanzo
CSL
2007
Springer
14 years 4 months ago
Unbounded Proof-Length Speed-Up in Deduction Modulo
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...
Guillaume Burel