2410 search results - page 155 / 482 » Multiset Ordering Constraints |
159
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
- Task preemption is a critical enabling mechanism in multi-task VLSI systems. On preemption, data in the register les must be preserved in order for the task to be resumed. This e...
156
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
We reconsider the idea of structural symmetry breaking (SSB) for constraint satisfaction problems (CSPs). We show that the dynamic dominance checks used in symmetry breaking by dom...
157
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Thanks to its extended expressiveness, the quantified constraint satisfaction problem (QCSP) can be used to model problems that are difficult to express in the standard C...
146
click to vote
WSC
2007
15 years 8 months ago
2007
Effective use of machines and headcounts is essential in manufacturing for high return of investment from expensive resources in today’s competitive business environment. It is ...
155
click to vote
DALT
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper proposes a formal framework for agent communication where agents can reason about their goals using strategic reasoning. This reasoning is argumentation-based ...