215 search results - page 5 / 43 » Sums of squares based approximation algorithms for MAX-SAT |
130
click to vote
AUTOMATICA
2006
15 years 5 months ago
2006
This paper is concerned with outer approximations of the minimal disturbance invariant set (MDIS) of a discrete-time linear system with an additive set-bounded disturbance. The k-...
152
click to vote
DSD
2008
IEEE
15 years 7 months ago
2008
IEEE
The aim of this work is to present a method for rounding quadratically converging algorithms that improves their performance. This method is able to reduce significantly the numbe...
145
click to vote
IDA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a new algorithm for approximate joint diagonalization of several symmetric matrices. While it is based on the classical least squares criterion, a novel intrin...
150
click to vote
ICIP
2002
IEEE
16 years 7 months ago
2002
IEEE
In this paper, we present a new algorithm for solving the block matching problem which is independent of image content and is faster than other full-search methods. The method emp...
156
click to vote
SIBGRAPI
2003
IEEE
15 years 10 months ago
2003
IEEE
We describe a new method for surface reconstruction based on unorganized point clouds without normals. We also present a new algorithm for refining the inital triangulation. The o...