3221 search results - page 276 / 645 » Termination of Linear Programs |
146
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...
155
click to vote
POPL
2010
ACM
16 years 3 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...
178
click to vote
ICML
2004
IEEE
16 years 7 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...
178
click to vote
GLOBECOM
2008
IEEE
16 years 29 days 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 ...
153
click to vote
LCN
2008
IEEE
16 years 28 days 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...