2725 search results - page 284 / 545 » Constraint Solving for Interpolation |
198
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
210
click to vote
GECCO
2000
Springer
15 years 11 months ago
2000
Springer
A hybrid method of evolutionary algorithms is introduced in this study. The hybrid method includes two additional operations, acceleration and migrating operations. These two oper...
190
Voted
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— This paper addresses a problem of finding an optimal dynamic quantizer for nonlinear control subject to discretevalued signal constraints. The quantizers to be studied...
182
click to vote
SGP
2007
15 years 9 months ago
2007
We propose a constraint-based method for the fairing of surface meshes. The main feature of our approach is that the resulting smoothed surface remains within a prescribed distanc...
242
click to vote
WSC
2007
15 years 9 months ago
2007
This paper describes two experiments exploring the potential of the Kriging methodology for constrained simulation optimization. Both experiments study an (s, S) inventory system ...