Sciweavers

9176 search results - page 1510 / 1836
» algorithms 2010
Sort
View
CORR
2010
Springer
116views Education» more  CORR 2010»
15 years 6 months ago
Interference Alignment as a Rank Constrained Rank Minimization
Abstract--We show that the maximization of the sum degreesof-freedom for the static flat-fading multiple-input multipleoutput (MIMO) interference channel is equivalent to a rank co...
Dimitris S. Papailiopoulos, Alexandros G. Dimakis
141
Voted
CORR
2010
Springer
67views Education» more  CORR 2010»
15 years 6 months ago
Life-Cycles and Mutual Effects of Scientific Communities
Community effects on the behaviour of individuals, the community itself and other communities can be observed in a wide range of applications. This is true in scientific research,...
Václav Belák, Marcel Karnstedt, Cono...
CORR
2010
Springer
111views Education» more  CORR 2010»
15 years 6 months ago
Reducing the Number of Annotations in a Verification-oriented Imperative Language
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
Guido de Caso, Diego Garbervetsky, Daniel Gor&iacu...
152
Voted
EJC
2010
15 years 6 months ago
On the distance between the expressions of a permutation
Abstract. We prove that the combinatorial distance between any two reduced expressions of a given permutation of {1, ..., n} in terms of transpositions lies in O(n4), a sharp bound...
Patrick Dehornoy, Marc Autord
CORR
2010
Springer
98views Education» more  CORR 2010»
15 years 6 months ago
Structure-Aware Stochastic Control for Transmission Scheduling
In this report, we consider the problem of real-time transmission scheduling over time-varying channels. We first formulate the transmission scheduling problem as a Markov decisio...
Fangwen Fu, Mihaela van der Schaar
« Prev « First page 1510 / 1836 Last » Next »