6800 search results - page 819 / 1360 » Testing with Functions as Specifications |
177
click to vote
DAM
2008
15 years 7 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...
151
click to vote
EOR
2010
15 years 7 months ago
2010
Outer linearization methods for two-stage stochastic linear programs with recourse, such as the L-shaped algorithm, generally apply a single optimality cut on the nonlinear object...
195
click to vote
ENVSOFT
2008
15 years 7 months ago
2008
The decoupled direct method in three dimensions (DDM-3D) provides an efficient and accurate approach for probing the sensitivity of atmospheric pollutant concentrations to various...
188
click to vote
COMPSEC
2006
15 years 7 months ago
2006
To address national needs for computer security education, many universities have incorporated computer and security courses into their undergraduate and graduate curricula. In th...
177
click to vote
CSDA
2006
15 years 7 months ago
2006
Several methods to select variables that are subsequently used in discriminant analysis are proposed and analysed. The aim is to find from among a set of m variables a smaller sub...