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

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

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

Parallel Hash-Based Join Algorithms for a Shared-Everything Environment

Per-Ake Larson, T.Patrick Martin, Vinay Deshpande, Paul Larson

January 1994

Publication

Passive Real-world Interface Props for Neurosurgical

John C. Goble, Ken Hinckley, Neal F. Kassell, Randy Pausch

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

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

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