Sciweavers

1381 search results - page 156 / 277
» Computational Complexity of Constraint Satisfaction
Sort
View
VTC
2008
IEEE
178views Communications» more  VTC 2008»
15 years 10 months ago
Downlink Linear Max-MSE Transceiver Design for Multiuser MIMO Systems Via Dual Decomposition
—This paper addresses the problem of joint linear transceiver design in the downlink of multiuser MIMO systems. We define the performance criterion as minimizing the maximal mea...
Yuanzhang Xiao, Shidong Zhou
IIHMSP
2006
IEEE
147views Multimedia» more  IIHMSP 2006»
15 years 10 months ago
Automatic Real-Time Moving Target Detection from Infrared Video
A novel progressive estimation scheme is proposed to detect moving targets in infrared video sequences in this work. The proposed algorithm does not place constraints on camera mo...
Shahryar Karimi-Ashtiani, C. C. Jay Kuo
ISIPTA
2003
IEEE
140views Mathematics» more  ISIPTA 2003»
15 years 9 months ago
A Second-Order Uncertainty Model of Independent Random Variables: An Example of the Stress-Strength Reliability
A second-order hierarchical uncertainty model of a system of independent random variables is studied in the paper. It is shown that the complex nonlinear optimization problem for ...
Lev V. Utkin
CASC
2009
Springer
180views Mathematics» more  CASC 2009»
15 years 5 months ago
Effective Quantifier Elimination for Presburger Arithmetic with Infinity
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
Aless Lasaruk, Thomas Sturm
107
Voted
TCBB
2008
73views more  TCBB 2008»
15 years 4 months ago
Nature Reserve Selection Problem: A Tight Approximation Algorithm
The Nature Reserve Selection Problem is a problem that arises in the context of studying biodiversity conservation. Subject to budgetary constraints, the problem is to select a set...
Magnus Bordewich, Charles Semple