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 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 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 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