351 search results - page 58 / 71 » An exact method for graph coloring |
ASPDAC
2005
ACM
14 years 1 months ago
2005
ACM
Abstractā The success of classical high level synthesis has been limited by the complexity of the applications it can handle, typically not large enough to necessitate the depart...
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ļ¬...
DAGSTUHL
2007
13 years 9 months ago
2007
PageRank is deļ¬ned as the stationary state of a Markov chain. The chain is obtained by perturbing the transition matrix induced by a web graph with a damping factor Ī± that spre...
GLOBECOM
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstractā Network tomography infers internal network characteristics by sending and collecting probe packets from the network edge. Traditional tomographic techniques for general...
EVOW
2008
Springer
13 years 9 months ago
2008
Springer
Advances in modern technologies for measuring protein-protein interaction (PPI) has boosted research in PPI networks analysis and comparison. One of the challenging problems in com...