2266 search results - page 265 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
126
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— We report an autonomous observation system with multiple pan-tilt-zoom (PTZ) cameras assisted by a fixed wideangle camera. The wide-angle camera provides large but low resolut...
126
click to vote
DAM
2008
15 years 3 months ago
2008
We investigate the Semidefinite Programming based Sums of squares (SOS) decomposition method, designed for global optimization of polynomials, in the context of the (Maximum) Sati...
132
Voted
JAL
2002
15 years 3 months ago
2002
We study the computational problem "find the value of the quantified formula obtained by quantifying the variables in a sum of terms." The "sum" can be based o...
121
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
In this study, we introduce two improved assessment metrics of multiobjective optimizers, Nondominated Ratio and Spacing Distribution, and analyze their rationality and validity. ...
117
Voted
STOC
2004
ACM
16 years 3 months ago
2004
ACM
The cut-norm ||A||C of a real matrix A = (aij)iR,jS is the maximum, over all I R, J S of the quantity | iI,jJ aij|. This concept plays a major role in the design of efficient app...