351 search results - page 58 / 71 » An exact method for graph coloring |
141
click to vote
ASPDAC
2005
ACM
15 years 11 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...
179
click to vote
JAIR
2007
15 years 5 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ļ¬...
182
click to vote
DAGSTUHL
2007
15 years 7 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...
176
click to vote
GLOBECOM
2007
IEEE
16 years 4 days 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...
178
click to vote
EVOW
2008
Springer
15 years 7 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...