Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication Bayesian extension to the language model for adhoc information retrieval H. Zaragoza, D. Hiemstra, M. Tipping, Stephen Robertson SIGIR 2003: Proceedings of the 26th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval | January 2003 SIGIR 2003: Proceedings of the 26th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval
Publication Checking concise specifications for multithreaded programs Stephen N. Freund, Shaz Qadeer Proceedings of the Fifth ECOOP Workshop on Formal Techniques for Java-like Programs, 2003. | January 2003
Publication Introduction: Design and Evaluation of Notification User Interfaces D. Scott McCrickard, Mary Czerwinski, Lyn Bartram January 2003, pp. 509-514 January 2003 International Journal of Human-Computer Studies
Publication IrisNet: Internet-scale resource-intensive sensor services (Demo Abstract) Amol Deshpande, Suman Nath, Phillip B. Gibbons, Srinivasan Seshan SIGMOD ’03: Proceedings of the 2003 ACM SIGMOD international conference on Management of data | January 2003 SIGMOD '03: Proceedings of the 2003 ACM SIGMOD international conference on Management of data ISBN: 1-58113-634-X
Publication Paths, Trees, and Minimum Latency Tours Kamalika Chaudhuri, Brighten Godfrey, Satish Rao, Kunal Talwar FOCS ’03: Proceedings of the 44th Annual IEEE Symposium on Foundations of Computer Science | January 2003 ISBN: 0-7695-2040-5
Publication GroupBar: The TaskBar Evolved Greg Smith, Patrick Baudisch, George Robertson, Mary Czerwinski, Brian Meyers, Daniel Robbins (2003) OZCHI 2003 Conference for the Computer-Human Interaction Special Interest Group of the Human Factors Society of Australia | January 2003 (2003) OZCHI 2003 Conference for the Computer-Human Interaction Special Interest Group of the Human Factors Society of Australia
Publication Information Regularization with Partially Labeled Data Martin Szummer, Tommi Jaakkola Advances in Neural Information Processing Systems (NIPS) | January 2003 Advances in Neural Information Processing Systems (NIPS)
Publication Predicate Routing: Enabling Controlled Networking Rebecca Isaacs, Timothy Roscoe, Steve Hand, Richard Mortier, Paul Jardetzky Proceedings of HotNets-I (2002), Computer Communication Review (CCR) | January 2003 Proceedings of HotNets-1
Publication The BTR-Tree: Path-Defined Version-Range Splitting in a Branched and Temporal Structure Linan Jiang, Betty Salzberg, David Lomet, Manuel Barrena SSTD Conference | January 2003
Publication An exploration of sentiment summarization Philip Beineke, Trevor Hastie, Christopher Manning, Shivakumar Vaithyanathan Proceedings of the AAAI Spring Symposium on Exploring Attitude and Affect in Text: Theories and Applications | January 2003