460 search results - page 30 / 92 » New Tools for Graph Coloring |
JAIR
2007
13 years 7 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...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
We present a system and a set of tools for producing special effects in film/video making by applying image processing and human centered computing techniques. A combination of s...
SBCCI
2003
ACM
14 years 26 days ago
2003
ACM
Network on Chip (NoC) is a new paradigm for designing core based System on Chips. It supports high degree of reusability and is scalable. In this paper, an efficient Two-Step Gene...
RECOMB
2005
Springer
14 years 8 months ago
2005
Springer
: A series of genome-scale algorithms and high-performance implementations is described and shown to be useful in the genetic analysis of gene transcription. With them it is possib...
AUTOID
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we consider the problem of automatically detecting a facial symmetry axis in what we will call a standard human face image (acquired when the subject is looking dir...