614 search results - page 57 / 123 » Probabilistic Arc Consistency |
133
click to vote
AI
2011
Springer
14 years 11 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...
201
click to vote
CONSTRAINTS
2011
14 years 11 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 ...
130
Voted
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...
148
click to vote
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...
129
click to vote
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...