Publication Generic, Scalable and Efficient Shape Coding for Visual Texture Objects in MPEG-4 Iraj Sodagar, Shipeng Li April 2000
Publication OctMesh – Interactive Mesh Browsing Over the Internet Hongwu Wang, Jin Li IEEE Information Theory: Coding and Communication (ITCC 2000), Las Vegas, NV | March 2000
Publication Context-sensitive synchronization-sensitive analysis is undecidable G. Ramalingam ACM Transactions on Programming Languages and Systems (TOPLAS) | March 2000, Vol 22(2): pp. 416-430
Publication Compression of Lumigraph with Multiple Reference Frame (MRF) Prediction and Just-In-Time Rendering Cha Zhang, Jin Li Data Compression Conference, 2000. Proceedings. DCC 2000 | March 2000
Publication Statistical Learning and Kernel Methods Bernhard Schölkopf MSR-TR-2000-23 | February 2000
Publication Kernel Method for Percentile Feature Extraction Bernhard Schölkopf, John Platt, Alex J. Smola MSR-TR-2000-22 | February 2000
Publication A Toolkit for Building Dependable and Extensible Home Networking Applications Anish Arora, Wilf Russell, Yi-Min Wang MSR-TR-2000-07 | February 2000
Publication Boolean Programs: A Model and Process for Software Analysis Thomas Ball, Sriram Rajamani MSR-TR-2000-14 | February 2000 Published by Microsoft Project
Publication Language-Agnostic Program Rendering for Presentation, Debugging and Visualization Christian Collberg, Sean Davey, Todd A. Proebsting MSR-TR-2000-09 | February 2000
Publication Authentication primitives and their compilation Martın Abadi, Cédric Fournet, Georges Gonthier To appear in the Proceedings of the 27th ACM Symposium on Principles of Programming Languages (January 2000) | January 2000
