202 search results - page 7 / 41 » sum 2009 |
CP
2009
Springer
14 years 10 months ago
2009
Springer
The length-lex representation for set variables orders all subsets of a given universe of values according to cardinality and lexicography. To achieve length-lex bounds consistency...
LICS
2009
IEEE
14 years 4 months ago
2009
IEEE
Linear Logic is based on the analogy between algebraic linearity (i.e. commutation with sums and scalar products) and the computer science linearity (i.e. calling inputs only once...
GLOBECOM
2009
IEEE
14 years 4 months ago
2009
IEEE
— It was shown by Cadambe and Jafar that the interference alignment (IA) algorithm achieves the theoretical bound on degrees of freedom (DOF) for interference channel systems. Ho...
MCSS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract In this paper, we compare two spatial multiplexing MIMO-OFDM downlink transmission schemes based on limited feedback: I. Per-chunk user scheduling; II. Zero-forcing receiv...
FSTTCS
2009
Springer
14 years 4 months ago
2009
Springer
We suggest that extending Muller games with preference ordering for players is a natural way to reason about unbounded duration games. In this context, we look at the standard solu...