Algorithms

David Heckerman

MSR-TR-95-04 | August 1995

Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)

Sumit Basu

June 1995

Master's Thesis: MIT Department of Electrical Engineering and Computer Science (EECS), 1995. | June 1995

Martin Abadi, Leslie Lamport

ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 118. | May 1995, Vol 17(3): pp. 507-534

David Heckerman, John S. Breese, Koos Rommelse

CACM | May 1995

Erik Ruf

MSR-TR-95-20 | May 1995

Geoffrey M. Davis, John M. Danskin, Xiyong Song

April 1995

Jim Gemmell, Dilip D. Kandlur, Harrick M. Vin, Lawrence A. Rowe, P. Venkat Rangan

April 1995

Deepak Kapur

Principles and Practice of Constraint Programming | April 1995

Principles and Practice of Constraint Programming

Yuri Gurevich

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

John Field, G. Ramalingam, Frank Tip

Proceeding POPL ’95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 1995