5130 search results - page 846 / 1026 » Constraint Query Languages |
146
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
151
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
Besides search, complete inference methods can also be used to solve soft constraint problems. Their main drawback is the high spatial complexity. To improve its practical usage, w...
160
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
An algorithm that performs asynchronous backtracking on distributed CSPs, with dynamic ordering of agents is proposed, ABT DO. Agents propose reorderings of lower priority agents a...
193
click to vote
ICDCIT
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Statically estimating the worst case execution time of a program is important for real-time embedded software. This is difficult even in the programming language level du...
201
click to vote
ICWE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper we show an approach that allows web interfaces to dynamically distribute among several interconnected heterogeneous devices in an environment to support the...