836 search results - page 167 / 168 » Orthogonal Colorings of Graphs |
110
click to vote
JAIR
2007
14 years 11 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ļ¬...
107
click to vote
JMM2
2007
14 years 11 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...
112
click to vote
COMCOM
1998
14 years 11 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....
129
Voted
ICTAI
2009
IEEE
14 years 9 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...
181
click to vote
BMCBI
2010
14 years 6 months 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...