10585 search results - page 1816 / 2117 » The Orc Programming Language |
144
click to vote
CP
2004
Springer
16 years 14 hour ago
2004
Springer
In this paper we study four algorithms for computing the frequency of a given partial order. Here the frequency of a partial order is the number of standard labellings respecting t...
194
click to vote
CP
2004
Springer
16 years 14 hour ago
2004
Springer
Abstract. The paper presents a new look-ahead scheme for backtracking search for solving constraint satisfaction problems. This look-ahead scheme computes a heuristic for value ord...
184
click to vote
CP
2004
Springer
16 years 14 hour ago
2004
Springer
We study the quality of LP-based approximation methods for pure combinatorial problems. We found that the quality of the LPrelaxation is a direct function of the underlying constra...
159
click to vote
CP
2004
Springer
16 years 14 hour ago
2004
Springer
This paper presents a model and implementation techniques for speeding up constraint propagation. Two fundamental approaches to improving constraint propagation are explored: keepi...
186
click to vote
DEXA
2004
Springer
16 years 13 hour ago
2004
Springer
Although many spatio-temporal conceptual models has been proposed in the last years, users must express their queries on the underlying physical data structures. In the context of ...