17 search results - page 4 / 4 » Cost-Based Domain Filtering for Stochastic Constraint Progra... |
CP
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. The sub-optimality approximation problem considers an optimization problem O, its optimal solution σ∗ , and a variable x with domain {d1, . . . , dm} and returns appro...
ENTCS
2008
13 years 5 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...