2974 search results - page 301 / 595 » Model-Driven Constraint Programming |
174
click to vote
CP
2005
Springer
16 years 5 days ago
2005
Springer
When the search for a solution to a constraint satisfaction problem backtracks, it is not usually worthwhile to remember the assignment that failed, because the same assignment wil...
147
click to vote
UM
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Individuals di er in the resources that they are willing to expend on information gathering and on the importance of di erent kinds of information. We have developed MADS...
240
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We first formulate the problem of optimally scheduling air traffic low with sector capacity constraints as a mixed integer linear program. We then use semidefinite relaxation tech...
170
click to vote
AAECC
1999
Springer
15 years 6 months ago
1999
Springer
Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...
143
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
We address in this paper the problem of jointly scheduling hard periodic tasks and soft aperiodic events using the Real-Time Specification for Java (RTSJ). We present the programm...