Sciweavers

1699 search results - page 131 / 340
» On the Expressive Power of QLTL
Sort
View
CORR
2008
Springer
125views Education» more  CORR 2008»
15 years 6 months ago
Cross-Layer Link Adaptation Design for Relay Channels with Cooperative ARQ Protocol
The cooperative automatic repeat request (C-ARQ) is a link layer relaying protocol which exploits the spatial diversity and allows the relay node to retransmit the source data pac...
Morteza Mardani, Jalil S. Harsini, Farshad Lahouti
AI
2005
Springer
15 years 6 months ago
On the logic of cooperation and propositional control
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
Wiebe van der Hoek, Michael Wooldridge
WWW
2001
ACM
16 years 7 months ago
A unified constraint model for XML
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
Gabriel M. Kuper, Jérôme Siméo...
VTC
2008
IEEE
16 years 25 days ago
On the Capacity of Generalized Fading/Shadowing Channels
Abstract—In this paper the Shannon capacity of generalizedgamma (GG) fading channels is studied, under different adaptive transmission techniques. The GG is a generic distributio...
Petros S. Bithas, P. Takis Mathiopoulos, Stavros A...
GLOBECOM
2007
IEEE
16 years 24 days ago
On Multi-User Gain in MIMO Systems with Rate Constraints
—In this paper, we study the advantages of multi-user concurrent transmission, measured using the multi-user gain (MUG), in multiple-input multiple-output (MIMO) systems with rat...
Peng Wang, Li Ping