Algorithms - Microsoft Research

Bayesian User Modeling for Inferring the Goals and Needs of Software Users In this 1995 video from Microsoft Research, Eric Horvitz demonstrates the Lumiere system. The Lumiere Project was an early exploration of using probability…

10:50

Publication

Simulation of Euclidean Shortest Path Planning Algorithms Based on the Framed-Quadtree Data Structure

Desney Tan, James T. Herro III, Robert J. Szczerba

(1996) University of Notre Dame CSE | October 1995

Publication

Platonism, Constructivism, and Computer Proofs vs. Proofs by Hand

Yuri Gurevich

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

Publication

TLA in Pictures

Leslie Lamport

IEEE Transactions on Software Engineering | September 1995, Vol 21(9): pp. 768-775

Publication

Efficient Rational Number Reconstruction

George E. Collins, Mark Encarnación

Journal of Symbolic Computation, Issue 3 | September 1995, Vol 20: pp. 287-297

Publication

Tailoring Recursion For Complexity

Erich Grädel, Yuri Gurevich

J. Symbolic Logic | September 1995, Vol 60(3): pp. 952-969