2861 search results - page 313 / 573 » Constraint Programming |
163
click to vote
CP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we consider the problem of optimal task allocation and scheduling in embedded real-time systems. This problem is far from trivial due to the wide range of c...
158
click to vote
CSLP
2004
Springer
15 years 10 months ago
2004
Springer
Many tasks in computational linguistics can be regarded as configuration problems. In this paper, we introduce the notion of lexicalised multi-dimensional configuration problems (l...
142
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Invariants that incrementally maintain the value of expresder assignments to their variables are a natural abstraction to build high-level local search algorithms. But th...
188
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
147
click to vote
AAAI
2010
15 years 8 months ago
2010
Consistency properties and algorithms for achieving them are at the heart of the success of Constraint Programming. In this paper, we study the relational consistency property R(,...