Sciweavers

3591 search results - page 304 / 719
» Typing linear constraints
Sort
View
237
Voted
MP
2011
15 years 2 months ago
Lifting for conic mixed-integer programming
Lifting is a procedure for deriving valid inequalities for mixed-integer sets from valid inequalities for suitable restrictions of those sets. Lifting has been shown to be very eï¬...
Alper Atamtürk, Vishnu Narayanan
186
Voted
TSP
2010
15 years 2 months ago
Cognitive radios with multiple antennas exploiting spatial opportunities
In this paper, the achievable rates of the so called "multiple-input multiple-output interference channel", exploited by a couple of single antenna primary terminals and...
Luca Bixio, Giacomo Oliveri, Marina Ottonello, Mir...
159
Voted
ICASSP
2011
IEEE
14 years 11 months ago
Directions-of-arrival estimation using a sparse spatial spectrum model with uncertainty
This paper is concerned with the estimation of the directionsof-arrival (DOA) of narrowband sources using a sparse spatial spectral model, when the model itself is not precise. Wh...
Jimeng Zheng, Mostafa Kaveh
STOC
2006
ACM
138views Algorithms» more  STOC 2006»
16 years 7 months ago
The PCP theorem by gap amplification
The PCP theorem [3, 2] says that every language in NP has a witness format that can be checked probabilistically by reading only a constant number of bits from the proof. The cele...
Irit Dinur
CONSTRAINTS
2007
112views more  CONSTRAINTS 2007»
15 years 7 months ago
Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...
Francisco Azevedo