836 search results - page 167 / 168 » Orthogonal Colorings of Graphs |
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ļ¬...
JMM2
2007
13 years 5 months ago
2007
ā This paper makes new contributions in motion detection, object segmentation and trajectory estimation to create a successful object tracking system. A new efļ¬cient motion det...
COMCOM
1998
13 years 5 months ago
1998
As computers and Internet become more and more available to families, access of objectionable graphics by children is increasingly a problem that many parents are concerned about....
ICTAI
2009
IEEE
13 years 3 months ago
2009
IEEE
We propose a new method for solving structured CSPs which generalizes and improves the Cyclic-Clustering approach [4]. First, the cutset and the tree-decomposition of the constrai...
BMCBI
2010
13 years 24 days ago
2010
Background: Linking high-throughput experimental data with biological networks is a key step for understanding complex biological systems. Currently, visualization tools for large...