1968 search results - page 50 / 394 » The Complexity of Valued Constraint Models |
117
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Decentralized Markov Decision Processes (DEC-MDPs) are a popular model of agent-coordination problems in domains with uncertainty and time constraints but very difficult to solve...
104
click to vote
ATVA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
AAAI
2006
15 years 2 months ago
2006
Constraint programming is a commonly used technology for solving complex combinatorial problems. However, users of this technology need significant expertise in order to model the...
SIAMCOMP
2010
14 years 8 months ago
2010
An equality template (also equality constraint language) is a relational structure with infinite universe whose relations can be defined by boolean combinations of equalities. We ...
104
click to vote
VL
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we present a UML profile which defines new stereotypes, tagged values and constraints for visualizing design patterns in UML diagrams. These new stereotypes and tag...