1264 search results - page 74 / 253 » The framework approach for constraint satisfaction |
145
click to vote
CPAIOR
2008
Springer
15 years 8 months ago
2008
Springer
We present a propagator that achieves MDD consistency for a separable equality over an MDD (multivalued decision diagram) store in pseudo-polynomial time. We integrate the propagat...
198
click to vote
CORR
1998
Springer
15 years 5 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
152
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
We propose a novel framework for imposing label ordering constraints in multilabel optimization. In particular, label jumps can be penalized differently depending on the jump dire...
169
click to vote
HICSS
2007
IEEE
16 years 16 days ago
2007
IEEE
Checkpointing is a commonly used approach to provide fault-tolerance and improve system dependability. However, using a constant and preconfigured checkpointing frequency may comp...
155
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- We present the applications of reachability methods and computational tools based on game theory to a problem in air traffic management. The use of such methods in air t...