4081 search results - page 400 / 817 » The Impact of Constraint Programming |
176
click to vote
IJCAI
2003
15 years 8 months ago
2003
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...
156
click to vote
DAM
2010
15 years 6 months ago
2010
In this paper we propose a new integer programming formulation for the multilevel facility location problem and a novel 3-approximation algorithm based on LP rounding. The linear ...
130
click to vote
EOR
2002
15 years 6 months ago
2002
We develop a multicriteria approach to the problem of space heating under a time varying price of electricity. In our dynamic goal programming model the goals are ideal temperatur...
187
click to vote
ENTCS
2010
15 years 1 months ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...
168
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Abstract. We consider the issue of exploiting symmetries in the hierarchy of semidefinite programming relaxations recently introduced in polynomial optimization. We focus on probl...