6456 search results - page 318 / 1292 » Constraint Solving on Terms |
179
click to vote
JGO
2008
15 years 6 months ago
2008
This paper discusses the global minimization of rational functions with or without constraints. We studied the sum of squares (SOS) relaxations and their properties to solve this ...
191
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
We describe sequential and parallel algorithms that approximately solve linear programs with no negative coefficients (a.k.a. mixed packing and covering problems). For explicitly ...
193
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
We extend the partial order reduction algorithm of Clarke et al. [CJM00] to handle branching security protocols, such as optimistic fair exchange protocols. Applications of the pro...
178
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
The problem of extracting continuous structures from noisy or cluttered images is a difficult one. Successful extraction depends critically on the ability to balance prior constra...
164
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
This study investigates a new multiphase minimization scheme which embeds a simple, efficient partition constraint directly in multiple level set evolution. Starting from an arbit...