614 search results - page 57 / 123 » Probabilistic Arc Consistency |
129
Voted
AI
2011
Springer
14 years 10 months ago
2011
Springer
The Extended Global Cardinality Constraint (EGCC) is a vital component of constraint solving systems, since it is very widely used to model diverse problems. The literature contai...
198
Voted
CONSTRAINTS
2011
14 years 10 months ago
2011
We introduce Cardinality Networks, a new CNF encoding of cardinality constraints. It improves upon the previously existing encodings such as the sorting networks of [8] in that it ...
125
click to vote
PODC
2010
ACM
15 years 7 months ago
2010
ACM
A shared disk implementation on distributed storage requires consistent behavior of disk operations. Deterministic consensus on such behavior is impossible when even a single stor...
144
Voted
AI50
2006
15 years 7 months ago
2006
Robots are rapidly evolving from factory work-horses to robot-companions. The future of robots, as our companions, is highly dependent on their abilities to understand, interpret a...
123
Voted
FOCI
2007
IEEE
15 years 10 months ago
2007
IEEE
Recent progress in genomics and proteomics makes it possible to understand the biological networks at the systems level. We aim to develop computational models of learning and memo...