论文与出版物 Learning Mixture Models of Images and Inferring Spatial Transformations Using the EM algorithm Brendan Frey, Nebojsa Jojic IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1999. | May 1999
论文与出版物 Should Your Specification Language Be Typed? Leslie Lamport, Lawrence C. Paulson ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 147. | May 1999, 第 31 卷(3): pp. 502-526
论文与出版物 A Modulated Complex Lapped Transform and its Application to Audio Processing Henrique S. Malvar MSR-TR-99-27 | May 1999
论文与出版物 A Semantics for Imprecise Exceptions Simon Peyton Jones, Tony Hoare, Alastair Reid, Simon Marlow, Fergus Henderson Proceedings of the ACM SIGPLAN ’99 Conference on Programming Language Design and Implementation | May 1999
论文与出版物 Specifying Concurrent Systems with TLA+ Leslie Lamport Calculational System Design | April 1999, pp. 183-247
论文与出版物 Torpid Mixing of Some Monte Carlo Markov Chain Algorithms in Statistical Physics Christian Borgs, Jennifer Chayes, Alan Frieze, Jeong Han Kim, Prasad Tetali, Eric Vigoda, Van Ha Vu MSR-TR-99-40 | April 1999
论文与出版物 A Lazy Caching Proof in TLA Peter Ladkin, Leslie Lamport, Bryan Olivier, Denis Roegel Distributed Computing 12 | April 1999, 第 2 卷(3): pp. 151-174
论文与出版物 Limits on the Efficiency of One-Way Permutation-Based Hash Functions Jeong Han Kim, Daniel R. Simon, Prasad Tetali MSR-TR-99-06 | April 1999
论文与出版物 Case and Constraint: Research on Intelligent CAD Systems (In Chinese) Joshua Goodman, Jianfeng Gao April 1999 博士论文:Shanghai Jiaotong University | April 1999
论文与出版物 On-line Algorithms for Combining Language Models Adam Tauman Kalai, Stanley Chen, Avrim Blum, Ronald Rosenfeld March 1999 作者:IEEE, March 1999 Acoustics, Speech, and Signal Processing, 1999. Proceedings., 1999 IEEE International Conference on