144 search results - page 28 / 29 » Constraint Propagation in Graph Coloring |
KDD
2007
ACM
14 years 5 months ago
2007
ACM
In this paper, we introduce and study the Minimum Consistent Subset Cover (MCSC) problem. Given a finite ground set X and a constraint t, find the minimum number of consistent sub...
JAIR
2007
13 years 5 months ago
2007
Exact Max-SAT solvers, compared with SAT solvers, apply little inference at each node of the proof tree. Commonly used SAT inference rules like unit propagation produce a simpliļ¬...
ITC
2003
IEEE
13 years 10 months ago
2003
IEEE
As technology evolves into the deep sub-micron era, signal integrity problems are growing into a major challenge. An important source of signal integrity problems is the crosstalk...
MOBIHOC
2006
ACM
13 years 11 months ago
2006
ACM
A large number of practical sensing and actuating applications require immediate notiļ¬cation of rare but urgent events and also fast delivery of time sensitive actuation command...
CVPR
2008
IEEE
14 years 7 months ago
2008
IEEE
Region based features are getting popular due to their higher descriptive power relative to other features. However, real world images exhibit changes in image segments capturing ...