论文与出版物 Algorithms and Methodology for Scalable Model Checking Shaz Qadeer September 1999 博士论文:EECS Department, University of California at Berkeley | September 1999
论文与出版物 Fast Polygon Mesh Querying By Example James Scott, James Gain ACM SIGGRAPH 99 Conference Abstracts and Applications | August 1999
论文与出版物 The KidsRoom: A Perceptually-Based Interactive and Immersive Story Environment Aaron F. Bobick, Stephen S. Intille, James W. Davis, Freedom Baird, Claudio S. Pinhanez, Lee W. Campbell, Yuri A. Ivanov, Arjan Schutte, Andrew D. Wilson Presence: Teleoperators and Virtual Environments | August 1999, 第 8 卷: pp. 369-393
论文与出版物 Logic with Equality: Partisan Corroboration and Shifted Pairing Yuri Gurevich, Margus Veanes August 1999
论文与出版物 Fast Learning from Sparse Data Max Chickering, David Heckerman MSR-TR-2000-15 | August 1999 Proceedings of the Fifth Workshop on Uncertainty in Artificial Intelligence, Windsor, ON
论文与出版物 High-Performance Distributed Objects over a System Area Network Alessandro Forin, Galen Hunt, Li Li, Yi-Min Wang Proceedings of the 3rd USENIX Windows NT Symposium | July 1999
论文与出版物 High-Performance Distributed Objects over System Area Networks Alessandro Forin, Galen Hunt, Li Li, Yi-Min Wang Third USENIX Windows NT Symposium | July 1999
论文与出版物 Mobility Types for Mobile Ambients Luca Cardelli, Giorgio Ghelli, Andy Gordon MSR-TR-99-32 | July 1999 ISBN: 9783540662242 26th International Colloquium, ICALP'99 Prague, Czech Republic, July 11-15, 1999 Proceedings