illustration of intersecting lines with various shapes at the connecting points signifying algorithms on a green gradient background

Algorithms

Current selections

Sort by: Most recent

Clear selections

Publication

Visibility Sorting and Compositing without Splitting for Image Layer Decompositions

John Snyder, Jed Lengyel

January 1998

Publication

Resource Assignment For Integrated Services in Wireless ATM Networks

Victor Bahl, Imrich Chlamtac, Andras Farago

January 1998

Publication

A Variation on the Zero-One Law

Andreas Blass, Yuri Gurevich, Vladik Kreinovich, Luc Longpré

Information Processing Letters | January 1998

Publication

The Decidability of Simultaneous Rigid E-Unification with One Variable

Paliath Narendran, Margus Veanes, Andrei Voronkov, Anatoli Degtyarev, Yuri Gurevich

RTA’98 | January 1998

Publication

Scaling Clustering Algorithms to Large Databases

P.S. Bradley, Usama Fayyad, Cory Reina

KDD’98 Proceedings of the Fourth International Conference on Knowledge Discovery and Data Mining | January 1998

Publication

On Unification Problems in Restricted Second-Order Languages

Jordi Jevy, Margus Veanes

Annual Conference of the European Association for Computer Science Logic, CSL’98 | January 1998

Annual Conference of the European Association for Computer Science Logic, CSL'98

Appears in preliminary proceedings of CSL'98

Publication

Persistent Applications Using Generalized Redo Recovery

David Lomet

January 1998

Publication

Algorithm + Strategy = Parallelism

PW Trinder, K Hammond, H-W Loidl, Simon Peyton Jones

Journal of Functional Programming | January 1998, Vol 8: pp. 23-60

Publication

Composition: A Way to Make Proofs Harder

Compositionality: The Significant Difference (Proceedings of the COMPOS’97 Symposium), Willem-Paul de Roever, Hans Langmaack, and Amir Pnueli editors. Lecture Notes in Computer Science. | December 1997

Publication

Grouping and Duplicate Elimination: Benefits of Early Aggregation

Paul Larson

MSR-TR-97-36 | December 1997