Publications index

Eric Horvitz, David Heckerman

Uncertainty in Artificial Intelligence Annual Conference on Uncertainty in Artificial Intelligence (UAI-85) | August 1985

Krysta M. Svore, Christopher J.C. Burges, Chris J.C. Burges, Krysta M. Svore

Scaling Up Machine Learning: Parallel and Distributed Approaches | Published by Cambridge University Press | 1985

Andreas Blass, Yuri Gurevich, D. Kozen

Information and Control | April 1985, Vol 67: pp. 70-90

K. Mani Chandy, Leslie Lamport

ACM Transactions on Computer Systems | February 1985, pp. 63-75

Andrew Birrell

ACM Transactions on Computer Systems | February 1985, pp. 1-14

Jonathan Grudin, Allan MacLean

Human-Computer Interaction - INTERACT '84 | January 1985

Leslie Lamport

Proceedings of the Twelfth ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | January 1985

Leslie Lamport, P. M. Melliar-Smith

Journal of the Association for Computing Machinery | January 1985, Vol 32(1): pp. 52-78

Christopher Bishop, R.J. Hastie

Nuclear Fusion | January 1985

W. D. Goldfarb, Yuri Gurevich, Saharon Shelah

Journal of Symbolic Logic | December 1984, Vol 49: pp. 1253-1261