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

Estimating Cloth Draping Parameters from Range Data

Nebojsa Jojic, Thomas S. Huang

International Workshop on Synthetic-Natural Hybrid Coding and 3-D Imaging | January 1997

Publication

Embedded Wavelet Packet Image Coder with Fast Rate-Distortion Optimized Decomposition

Jin Li, C.-C. Jay Kuo

January 1997

Publication

Equivalence Is In The Eye Of The Beholder

Yuri Gurevich, James K. Huggins

Theoretical Computer Science | January 1997

Publication

Bayesian Inference of Noise Levels in Regression

Christopher Bishop, C. S. Qazaz

Proceedings 1996 International Conference on Artificial Neural Networks, ICANN’96, Bochum, Germany | January 1997

Publication

Syntax vs. Semantics on Finite Structures

Natasha Alechina, Yuri Gurevich

Structures in Logic and Computer Science: A Selection of Essays in Honor of Andrzej Ehrenfeucht, Lecture Notes in Computer Science. | January 1997

Publication

Magnification factors for the GTM algorithm

Christopher Bishop, Markus Svensén, Christopher K. I. Williams

Proceedings IEE Fifth International Conference on Artificial Neural Networks, Cambridge, U.K. | January 1997

Publication

Refinement in State-Based Formalisms

1996-001 | December 1996

Publication

A TLA Solution to the RPC-Memory Specification Problem

Martin Abadi, Leslie Lamport, Stephan Merz

Formal Systems Specification: The RPC-Memory Specification Case Study, Manfred Broy, Stephan Merz, and Katharina Spies editors. Lecture Notes in Computer Science, number 1169, (1996), 21-66. | November 1996

Publication

Slicing class hierarchies in {C}++

Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam

Proceeding OOPSLA ’96 Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications | October 1996

Publication

Herbrand’s Theorem and Equational Reasoning: Problems and Solutions

Anatoli Degtyarev, Yuri Gurevich, Andrei Voronkov

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