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

Distance Measures as Prior Probabilities

September 2000

Publication

Switching Dynamic System Models for Speech Articulation and Acoustics

Li Deng

Proceedings of the IMA Workshop | September 2000

Publication

Empirical Risk Minimization is an Incomplete Inductive Principle

August 2000

Publication

Bayesian Linear Regression

July 2000

Publication

Induction in Compositional Model Checking

Kenneth L. McMillan , Shaz Qadeer, James B. Saxe

12th International Conference | July 2000

Publication

Bayesian Model Averaging is not Model Combination

July 2000

Video

Silhouette Clipping

July 1, 2000 | John Snyder

Approximating detailed models with coarse, texture-mapped meshes results in polygonal silhouettes. To eliminate this artifact, we introduce silhouette clipping, a framework for efficiently clipping the rendering of coarse geometry to the exact silhouette of the…

Publication

Silhouette Clipping

Pedro V. Sander, Xianfeng Gu, Steven J. Gortler, Hugues Hoppe, John Snyder

ACM SIGGRAPH | July 2000

Publication

Adaptive Noise Reduction of Speech Signals

Wenqing Jiang, Henrique S. Malvar

MSR-TR-2000-86 | July 2000

Publication

Revisiting the Paxos Algorithm

Roberto de Prisco, Butler Lampson, Nancy Lynch

Theoretical Computer Science | July 2000, Vol 243(1): pp. 35-91

A preliminary version appeared as Proc. WDAG'97, Lecture Notes in Computer Science 1320, Springer, 1997, pp 111-125