3221 search results - page 276 / 645 » Termination of Linear Programs |
159
click to vote
ECIR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this work we study the theoretical and empirical properties of various global inference algorithms for multi-document summarization. We start by defining a general fr...
177
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
197
click to vote
ICML
2004
IEEE
16 years 8 months ago
2004
IEEE
We consider learning in a Markov decision process where we are not explicitly given a reward function, but where instead we can observe an expert demonstrating the task that we wa...
200
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—In this paper, we consider robust joint linear precoder/receive filter design for multiuser multi-input multi-output (MIMO) downlink that minimizes the sum mean square ...
181
click to vote
LCN
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper we address the problem of traffic grooming in WDM rings with all-to-all and its generalization to many-to-many service by using network coding. We consider minimi...