3994 search results - page 411 / 799 » A Linear Logical Framework |
174
click to vote
FOCS
2006
IEEE
16 years 28 days ago
2006
IEEE
In this paper we introduce a new general framework for set covering problems, based on the combination of randomized rounding of the (near-)optimal solution of the Linear Programm...
150
click to vote
UAI
2004
15 years 8 months ago
2004
The paper introduces mixed networks, a new framework for expressing and reasoning with probabilistic and deterministic information. The framework combines belief networks with con...
167
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
In this paper, we present an analysis and synthesis framework for guaranteeing that the phase of a single-input, single-output closed-loop transfer function is contained in the int...
155
click to vote
JMLR
2010
15 years 5 months ago
2010
Maximum entropy (Maxent) is useful in natural language processing and many other areas. Iterative scaling (IS) methods are one of the most popular approaches to solve Maxent. With...
174
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We present a new wideband spectral envelope estimation framework for the artificial bandwidth extension problem. The proposed framework builds temporal clusters of the joint sub-...