724 search results - page 104 / 145 » Practical Performance of Efficient Minimum Cut Algorithms |
136
click to vote
ESA
2006
Springer
15 years 6 months ago
2006
Springer
We present algorithmic, complexity and implementation results concerning real root isolation of integer univariate polynomials using the continued fraction expansion of real algeb...
161
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
DOCENG
2009
ACM
15 years 9 months ago
2009
ACM
This paper describes the Differential Synchronization (DS) method for keeping documents synchronized. The key feature of DS is that it is simple and well suited for use in both no...
139
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Solving bioinformatics tasks often requires extensive computational power. Recent trends in processor architecture combine multiple cores into a single chip to improve...
197
click to vote
SIGMOD
2007
ACM
16 years 3 months ago
2007
ACM
To compensate for the inherent impedance mismatch between the relational data model (tables of tuples) and XML (ordered, unranked trees), tree join algorithms have become the prev...