3653 search results - page 565 / 731 » On Recognizable Timed Languages |
128
click to vote
CP
2007
Springer
16 years 8 days ago
2007
Springer
In this paper we argue that an attractive and potentially very general way of achieving generalized arc consistency (GAC) on a constraint is by using unit propagation (UP) over a C...
140
click to vote
CP
2007
Springer
16 years 8 days ago
2007
Springer
Visualization is often invaluable to understand the behavior of optimization algorithms, identify their bottlenecks or pathological behaviors, and suggest remedial techniques. Yet ...
155
click to vote
CP
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. The SEQUENCE constraint is useful in modelling car sequencing, rostering, scheduling and related problems. We introduce half a dozen new encodings of the SEQUENCE constra...
143
Voted
CP
2007
Springer
16 years 8 days ago
2007
Springer
The typical constraint store transmits a limited amount of information because it consists only of variable domains. We propose a richer constraint store in the form of a limited-w...
170
click to vote
EMSOFT
2007
Springer
16 years 8 days ago
2007
Springer
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...