6740 search results - page 1078 / 1348 » Using Classification as a Programming Language |
159
click to vote
CP
2005
Springer
16 years 2 days 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...
156
click to vote
CP
2005
Springer
16 years 2 days 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...
131
click to vote
ICALP
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents a new protocol for atomic broadcast in an asynchronous network with a maximal number of Byzantine failures. It guarantees both safety and liveness without maki...
170
click to vote
UM
2005
Springer
16 years 23 hour ago
2005
Springer
This paper is concerned with user modelling issues such as adaptive educational environments, adaptive information retrieval, and support for collaboration. The HomeWork project is...
158
click to vote
CP
2004
Springer
15 years 12 months 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...