Sciweavers

1624 search results - page 216 / 325
» Fairness in multi-agent systems
Sort
View
MASCOTS
2004
15 years 8 months ago
MC-CDMA Based IEEE 802.11 Wireless LAN
In this paper, a modified version of the IEEE 802.11a protocol is proposed and evaluated. We combine MultiCarrier Code Division Multiple Access (MC-CDMA), a novel, high capacity m...
Georgios Orfanos, Jörg Habetha, Ling Liu
GLOBECOM
2008
IEEE
15 years 8 months ago
Cooperative Spectrum Allocation in Centralized Cognitive Networks Using Bipartite Matching
—Conflict free spectrum allocation for secondary users in cognitive networks is a challenging problem, since the accessible spectrum is shared among users. The problem becomes to...
Chengshi Zhao, Mingrui Zou, Bin Shen, Bumjung Kim,...
JAPLL
2006
109views more  JAPLL 2006»
15 years 6 months ago
Deduction chains for common knowledge
Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system. Given a formula , the deduction chains of are built...
Mathis Kretz, Thomas Studer
ENTCS
2007
121views more  ENTCS 2007»
15 years 6 months ago
Rewrite-Based Decision Procedures
The rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an i...
Maria Paola Bonacina, Mnacho Echenim
VTC
2010
IEEE
404views Communications» more  VTC 2010»
15 years 5 months ago
Power Efficient Dynamic Resource Scheduling Algorithms for LTE
: This paper presents a link level analysis of the rate and energy efficiency performance of the LTE downlink considering the unitary codebook based precoding scheme. In a multi-us...
Congzheng Han, Kian Chung Beh, Marios Nicolaou, Si...