4430 search results - page 80 / 886 » Solving Optimization Problems with DLL |
191
click to vote
VECPAR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Optimization problems constrained by nonlinear partial differential equations have been the focus of intense research in scientific computing lately. Current methods for...
144
click to vote
CP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Although constraint programming offers a wealth of strong, generalpurpose methods, in practice a complex, real application demands a person who selects, combines, and ref...
136
click to vote
SIAMNUM
2010
14 years 11 months ago
2010
Abstract. We study discontinuous Galerkin methods for solving elliptic variational inequalities, of both the first and second kinds. Analysis of numerous discontinuous Galerkin sch...
143
Voted
VMCAI
2007
Springer
15 years 11 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
146
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Coevolution can be used to adaptively choose the tests used for evaluating candidate solutions. A long-standing question is how this dynamic setup may be organized to yield reliab...