13841 search results - page 189 / 2769 » Algorithms and Constraint Programming |
153
click to vote
FLAIRS
2004
15 years 8 months ago
2004
The integration of methods of Constraint Programming and Multi-Agent-Systems is discussed in this paper. We describe different agent topologies for Constraint Satisfaction Problem...
191
click to vote
ACMSE
2006
ACM
16 years 15 days ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
145
click to vote
LPAR
2005
Springer
16 years 13 hour ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...
181
click to vote
TIME
2006
IEEE
16 years 16 days ago
2006
IEEE
In this paper, we consider quantitative temporal or spatial constraint networks whose constraints evolve over time in an ultimately periodic fashion. These constraint networks are...
186
click to vote
CP
2004
Springer
15 years 10 months ago
2004
Springer
Many combinatorial (optimisation) problems have natural models based on, or including, set variables and set constraints. This was already known to the constraint programming commu...