284 search results - page 57 / 57 » On the adaptable chromatic number of graphs |
JAIR
2007
13 years 4 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ļ¬...
BMCBI
2004
13 years 4 months ago
2004
Background: Microarray and other high-throughput technologies are producing large sets of interesting genes that are difficult to analyze directly. Bioinformatics tools are needed...
WWW
2011
ACM
12 years 11 months ago
2011
ACM
The clustering coeļ¬cient of a node in a social network is a fundamental measure that quantiļ¬es how tightly-knit the community is around the node. Its computation can be reduce...
ICDAR
2011
IEEE
12 years 4 months ago
2011
IEEE
āA vast number of historical and badly degraded document images can be found in libraries, public, and national archives. Due to the complex nature of different artifacts, such p...