2924 search results - page 366 / 585 » Lower Bounds in Distributed Computing |
137
click to vote
FOCS
2008
IEEE
15 years 11 months ago
2008
IEEE
We consider the read/write streams model, an extension of the standard data stream model in which an algorithm can create and manipulate multiple read/write streams in addition to...
116
click to vote
SOFSEM
2007
Springer
15 years 10 months ago
2007
Springer
We contribute to the research on stable minimum storage merging by introducing an algorithm that is particularly simply structured compared to its competitors. The presented algori...
112
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
We construct a domain-theoretic calculus for Lipschitz and differentiable functions, which includes addition, subtraction and composition. We then develop a domaintheoretic versio...
221
click to vote
ISSAC
1997
Springer
15 years 9 months ago
1997
Springer
Gaussian elimination is the basis for classical algorithms for computing canonical forms of integer matrices. Experimental results have shown that integer Gaussian elimination may...
119
click to vote
COMPGEOM
1995
ACM
15 years 8 months ago
1995
ACM
Abstract. We show that there is a matching between the edges of any two triangulations of a planar point set such that an edge of one triangulation is matched either to the identic...