Sciweavers

1589 search results - page 18 / 318
» Constraints with Variables' Annotations
Sort
View
EMO
2009
Springer
174views Optimization» more  EMO 2009»
14 years 3 months ago
Constraint Programming
To model combinatorial decision problems involving uncertainty and probability, we introduce stochastic constraint programming. Stochastic constraint programs contain both decision...
Pascal Van Hentenryck
CORR
2007
Springer
68views Education» more  CORR 2007»
13 years 8 months ago
An Improved Tight Closure Algorithm for Integer Octagonal Constraints
Integer octagonal constraints (a.k.a. Unit Two Variables Per Inequality or UTVPI integer constraints) constitute an interesting class of constraints for the representation and solu...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
NAR
2006
156views more  NAR 2006»
13 years 8 months ago
VOMBAT: prediction of transcription factor binding sites using variable order Bayesian trees
Variable order Markov models and variable order Bayesian trees have been proposed for the recognition of transcription factor binding sites, and it could be demonstrated that they...
Jan Grau, Irad E. Ben-Gal, Stefan Posch, Ivo Gross...
VAMOS
2010
Springer
13 years 10 months ago
Supporting Stepwise, Incremental Product Derivation in Product Line Requirements Engineering
Deriving products from a software product line is difficult, particularly when there are many constraints in the variability of the product line. Understanding the impact of variab...
Reinhard Stoiber, Martin Glinz
CONSTRAINTS
2010
116views more  CONSTRAINTS 2010»
13 years 8 months ago
Erratum to "Reformulating table constraints using functional dependencies - an application to explanation generation"
Abstract. We had claimed that arc-consistency is preserved in a constraint reformulation relying on functional dependencies (Theorem 2 of [2]). We show that the statement of this t...
Hadrien Cambazard, Barry O'Sullivan