45 search results - page 1 / 9 » Exact Graph Coloring via Hybrid Approaches |
COLOGNETWENTE
2008
13 years 6 months ago
2008
COCOON
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. We introduce a generic algorithmic technique and apply it on decision and counting versions of graph coloring. Our approach is based on the following idea: either a graph...
ECCV
2008
Springer
14 years 6 months ago
2008
Springer
We aim to color greyscale images automatically, without any manual intervention. The color proposition could then be interactively corrected by user-provided color landmarks if nec...
ECCV
2002
Springer
14 years 6 months ago
2002
Springer
We address the problem of computing the 3-dimensional shape of an arbitrary scene from a set of images taken at known viewpoints. Multi-camera scene reconstruction is a natural gen...
DATE
1997
IEEE
13 years 9 months ago
1997
IEEE
This paper presents an algorithmic technique based on hybridizing Symbolic Manipulation Techniques based on BDDs with more traditional Explicit solving algorithms. To validate the...