Algorithms - Microsoft Research

公開日

Specifying and Verifying Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems, H. Langmaack, W.-P. de Roever, J. Vytopil editors. Lecture Notes in Computer Science, Springer-Verlag | July 1994

公開日

Logic Activities in Europe

Yuri Gurevich

ACM SIGACT NEWS | June 1994

公開日

TLZ (Abstract)

Leslie Lamport

Z User’s Workshop, Cambridge. J.P. Bowen and J.A. Hall (Eds.) | May 1994

公開日

Efficient quadtree coding of images and video

Gary J. Sullivan, R.L. Baker

IEEE Transactions on Image Processing | April 1994, 巻3(3): pp. 327-331

公開日

Environment Normalization for Robust Speech Recognition using Direct Cepstral Comparisons

Alex Acero

Proc. of the International Conference on Acoustics, Speech, and Signal Processing | April 1994

Proc. of the International Conference on Acoustics, Speech, and Signal Processing

公開日

Learning Bayesian Networks: The Combination of Knowledge and Statistical Data

David Heckerman, Dan Geiger, Max Chickering

Machine Learning | March 1994, 巻20(3): pp. 197-243

公開日

ATM Document Collection 3 (The Blue Book)

Richard Black, Ian Leslie, Derek McAuley

March 1994

公開日

An incremental algorithm for maintaining the dominator tree of a reducible flowgraph

G. Ramalingam, Thomas Reps

Proceeding POPL ’94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 1994

公開日

Learning Gaussian Networks

Dan Geiger, David Heckerman

MSR-TR-94-10 | January 1994

公開日

Passive Real-world Interface Props for Neurosurgical

John C. Goble, Ken Hinckley, Neal F. Kassell, Randy Pausch

January 1994