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

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

C-: A Portable Assembly Language

Dino Oliva, T. Nordin, Simon Peyton Jones

Proceedings of the 1997 Workshop on Implementing Functional Languages | January 1997

Publication

Object Detection with Vector Quantized Binary Features

John Krumm

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

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

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

Jin Li, C.-C. Jay Kuo

January 1997

Publication

The undecidability of simultaneous rigid E-unification with two variables

5th Kurt GÃ¶del Colloquium (KGC’97) | January 1997

Publication

GTM: a principled alternative to the Self-Organizing Map

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

International Conference on Artificial Neural Networks, ICANN’96 | 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

Your Privacy Choices