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

Processes are in the Eye of the Beholder

Theoretical Computer Science SRC Research Report 132 | December 1994, Vol 179: pp. 333-351

Publication

Introduction to TLA

1994-001 | December 1994

The Annals of Statistics

Publication

Efficient Average-Case Algorithms for the Modular Group

Jin-Yi Cai, Wolfgang Fuchs, Dexter Kozen, Zicheng Liu

Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on | November 1994

Publication

Automatically Identifying Morphological Relations in Machine-Readable Dictionaries

Joseph Pentheroudakis, Lucy Vanderwende

Proceedings of the 9th Annual Conference of the UW Centre for the New OED and Text Research, 1993 | November 1994

Proceedings of the 9th Annual Conference of the UW Centre for the New OED and Text Research, 1993

Publication

Multiscale Edge Integration by Weighted Accumulation

Tolga Acar, Muhittin Gokmen

International Symposium on Computer and Information Sciences | September 1994

Editor(s): Aggelos K. Katsaggelos

ISCIS X

Publication

How to Write a Long Formula

FACJ 6(5) (September/October 1994) 580-584. Also appeared as SRC Research Report 119. | September 1994

Publication

Private Locking and Distributed Cache Management

David Lomet

September 1994

Publication

Nonstandard Regularization for Selected Image Processing and Computer Vision Problems

September 1994

Master's Thesis: Istanbul Technical University | September 1994

Publication

Open Systems in TLA

Martin Abadi, Leslie Lamport

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing | August 1994

Publication

Decomposing Specifications of Concurrent Systems

Leslie Lamport, Martin Abadi

Programming Concepts, Methods and Calculi, Ernst-RÃ¼diger Olderog editor. (Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet ’94, San Miniato, Italy.) North-Holland | August 1994

Your Privacy Choices