6279 search results - page 78 / 1256 » Studies in Solution Sampling |
STACS
2007
Springer
14 years 1 months ago
2007
Springer
We contribute to the study of efficient enumeration algorithms for all solutions of constraint satisfaction problems. The only algorithm known so far, presented by Creignou and H´...
DSRT
2002
IEEE
14 years 21 days ago
2002
IEEE
The High-Level Architecture (HLA) provides a common architecture for distributed modeling and simulation. In its original form, the HLA allows a number of simulations to be joined...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
Evolutionary Computations in dynamic/uncertain environments have attracted much attention. Studies regarding this research subjects can be classified into four categories: Noise, ...
AMC
2007
13 years 7 months ago
2007
In this paper, we study the nonlinear boundary value problem ÀDu þ u ¼ fuðu; vÞ in X; ÀDv þ v ¼ fvðu; vÞ in X; ou on ¼ guðu; vÞ; ov on ¼ gvðu; vÞ on oX; 8 ><...
SIAMSC
2008
13 years 7 months ago
2008
Abstract. The sequential regularization method is a reformulation of the unsteady Navier-Stokes equations from the view point of constrained dynamical systems or approximate Helmho...