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

Algorithms

Developing efficient algorithms that power faster, smarter, and more reliable computing across diverse applications.

Current selections

Sort by: Most recent

Clear selections

Publication

Piecewise Smooth Surface Reconstruction.

Hubert Jin, Hugue Hoppe, Jean Schweitzer, John McDonald, Mark Halstead, Tom Duchamp, Tony DeRose, Werner Stuetzle, Hugues Hoppe

January 1994

Publication

McColm’s Conjecture

Yuri Gurevich, Neil Immerman, Saharon Shelah

Symposium on Logic in Computer Science, IEEE Computer Society Press | January 1994

Publication

Algorithm for automatic interpretation of noun sequences

Lucy Vanderwende

COLING ’94 Proceedings of the 15th conference on Computational linguistics – Volume 2 | January 1994

COLING '94 Proceedings of the 15th conference on Computational linguistics – Volume 2

Publication

Evolving Algebras and Linear Time Hierarchy

Andreas Blass, Yuri Gurevich

IFIP 1994 World Computer Congress, Volume I: Technology and Foundations, North-Holland, Amsterdam. | January 1994

Publication

Performing Group-by before Join

Weipeng P. Yan, Paul Larson

January 1994

Publication

Adaptive playout mechanisms for Packetized Audio Applications in Wide-Area Networks

Ramachandran Ramjee, Jim Kurose, Don Towsley, Henning Schulzrinne

Proceedings of IEEE Infocom ’94 | January 1994

Publication

A State-of-the-Art Distributed System: Computing with BOB

Mike Schroeder

Distributed Systems | Published by Addison-Wesley | 1993

Publication

AMAST’91 Banquet Talk

Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science | October 1993

Publication

Automatically Identifying Morphological Relations in Machine-Readable Dictionaries

Joseph Pentheroudakis, Lucy Vanderwende

MSR-TR-93-06 | September 1993

Publication

Composing Specifications

Leslie Lamport, Martin Abadi

ACM Transactions on Programming Languages and Systems 15, 1 (January 1993), 73-132. Also appeared as SRC Research Report 66. A preliminary version appeared in Stepwise Refinement of Distributed Systems, J. W. de Bakker, W.-P. de Roever, and G. Rozenberg editors, Springer-Verlag Lecture Notes in Computer Science Volume 430 (1989), 1-41. | July 1993

Your Privacy Choices