1716 search results - page 68 / 344 » Proving Conditional Termination |
CODES
2000
IEEE
14 years 1 months ago
2000
IEEE
During design exploration, many implementations of the same system specification may need to be evaluated. In this paper, we present an approach to construct sufficient and nece...
MOC
2010
13 years 3 months ago
2010
In this paper we consider a class of regularized Gauss-Newton methods for solving nonlinear inverse problems for which an a posteriori stopping rule is proposed to terminate the it...
TIT
2010
13 years 3 months ago
2010
This article considers sparse signal recovery in the presence of noise. A mutual incoherence condition which was previously used for exact recovery in the noiseless case is shown t...
MOC
2000
13 years 8 months ago
2000
Abstract. We consider the equations of stationary incompressible magnetohydrodynamics posed in three dimensions, and treat the full coupled system of equations with inhomogeneous b...
ESA
2009
Springer
14 years 3 months ago
2009
Springer
In this paper, we study the complexity and approximability of the orthogonal frequency-division multiple access (OFDMA) scheduling problem with uniformly related communication chan...