9626 search results - page 1427 / 1926 » Invariant Based Programming |
194
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriti...
142
click to vote
COR
2008
15 years 7 months ago
2008
We adapt the competitive location model based on maximal covering to include the knowledge that a competitor will enter the market later with a single new facility. The objective ...
169
click to vote
COR
2008
15 years 7 months ago
2008
The Swath Segment Selection Problem (SSSP) is an NP-hard combinatorial optimization problem arising in the context of planning and scheduling satellite operations. It was defined ...
192
click to vote
COR
2008
15 years 7 months ago
2008
This paper addresses the problem of minimizing the expected cost of locating a number of single product facilities and allocating uncertain customer demand to these facilities. Th...
180
click to vote
COR
2008
15 years 7 months ago
2008
-- The optimal buffer allocation in queueing network systems is a difficult stochastic, non-linear, integer mathematical programming problem. Moreover, the objective function, the ...