743 search results - page 1 / 149 » Optimal Abstraction on Real-Valued Programs |
SAS
2007
Springer
13 years 11 months ago
2007
Springer
abstraction on real-valued programs David Monniaux Laboratoire d’informatique de l’´Ecole normale sup´erieure 45, rue d’Ulm, 75230 Paris cedex 5, France June 30, 2007 In t...
PPSN
1994
Springer
13 years 8 months ago
1994
Springer
Abstract. The mutation distribution of evolutionary algorithms usually is oriented at the type of the search space. Typical examples are binomial distributions for binary strings i...
IWOMP
2009
Springer
13 years 11 months ago
2009
Springer
WSC
2008
13 years 7 months ago
2008
Proposed and developed is a framework and an extensible library of simulation modeling components for strategic sourcing and transportation. The components include items, supplier...
ICEIS
2009
IEEE
13 years 11 months ago
2009
IEEE
Proposed and developed is a service composition framework for decision-making under uncertainty, which is applicable to stochastic optimization of supply chains. Also developed is ...