6456 search results - page 342 / 1292 » Constraint Solving on Terms |
176
click to vote
NA
2010
15 years 5 months ago
2010
In the past decade or so, semi-definite programming (SDP) has emerged as a powerful tool capable of handling a remarkably wide range of problems. This article describes an innovat...
189
click to vote
WCNC
2010
IEEE
15 years 5 months ago
2010
IEEE
—With the ever increasing interest in multiple-input multiple-output (MIMO) cognitive radio (CR) systems, reducing the costs associated with RF-chains at the radio front end beco...
195
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose a motion deblurring algorithm that exploits sparsity constraints of image patches using one single frame. In our formulation, each image patch is encoded with sparse co...
190
click to vote
TSE
2010
15 years 1 months ago
2010
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This pap...
215
click to vote
CONSTRAINTS
2011
14 years 10 months ago
2011
Abstract. We consider the problem of decomposing an integer matrix into a positively weighted sum of binary matrices that have the consecutive-ones property. This problem is well-k...