论文与出版物 Continuous Time Bayesian Networks for Inferring Users’ Presence and Activities with Extensions for Modeling and Evaluation Eric Horvitz MSR-TR-2003-97 | December 2003
论文与出版物 Verifying Invariants in Object-Oriented Programs Rustan Leino, Mike Barnett, Robert DeLine, Manuel Fähndrich, Wolfram Schulte Computer Science Colloquium, ETH Zurich | November 2003
论文与出版物 Abstract State Machines: An Overview of the Project Yuri Gurevich “Foundations of Information and Knowledge Systems” Springer Lecture Notes in Computer Science. | November 2003
论文与出版物 Do optimal entropy-constrained quantizers have a finite or infinite number of codewords? Andras Gyorgy, Tamas Linder, Philip A. Chou, Bradley J. Betts, Philip A. Chou IEEE Trans. Information Theory | November 2003
论文与出版物 null Manuel Fahndrich, Rustan Leino Proceedings of the 2003 ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003 | November 2003 Proceedings of the 2003 ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003
论文与出版物 The λ Abroad – A Functional Approach to Software Components Daan Leijen November 2003 博士论文:Dept. of Computer Science, Universiteit Utrecht | November 2003
论文与出版物 Xen and the Art of Virtualization Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield Symposium on Operating Systems Principles (SOSP ’03) | October 2003