106 search results - page 19 / 22 » Further Results on Swarms Solving 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ļ¬...
IEEEMSP
2002
IEEE
14 years 11 days ago
2002
IEEE
āThis paper presents an operational rate-distortion (ORD) optimal approach for skeleton-based boundary encoding. The boundary information is first decomposed into skeleton and di...
INFOCOM
2007
IEEE
14 years 1 months ago
2007
IEEE
ā We consider fair allocation of sessions at the outputs of optical cross-connects employing wavelength division multiplexing (WDM). Each session consists of trafļ¬c on one or m...
CC
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents a compiler technique that reduces the energy consumption of the memory subsystem, for an oļ¬-chip partitioned memory architecture having multiple memory banks ...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
Given a video sequence, obtaining accurate layer segmentation and alpha matting is very important for various applications. However, when a non-textured or smooth area is present ...