Algorithms - Microsoft Research

Publication

The NearMe Wireless Proximity Server

John Krumm, Ken Hinckley

UbiComp 2004: Ubiquitous Computing: 6th International Conference, Nottingham, UK, September 7-10, 2004, Proceedings (Lecture Notes in Computer Science) | September 2004

ISBN: 978-3-540-22955-1

Publication

Zing: Exploiting program structure for model checking concurrent software

Tony Andrews, Shaz Qadeer, Sriram Rajamani, Jakob Rehof, Yichen Xie

Proceedings of the 15th International Conference on Concurrency Theory | September 2004

Publication

Implementing and Combining Specifications

Leslie Lamport

September 2004

Publication

An Experimental Comparison of Min-Cut/Max-Flow Algorithms for Energy Minimization in Vision

Yuri Boykov, Vladimir Kolmogorov

Third International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition | September 2004

Publication

Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions

Sumit Gulwani, George C. Necula

Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 | August 2004

Project

Publication

Algebraic Conditions for Classifying the Positional Relationships of Two Conics and Their Applications

Yang Liu, Fa-Lai Chen

Journal of Computer Science and Technology | August 2004

Publication

Choice in Dynamic Linking

Martin Abadi, Georges Gonthier, Benjamin Werner

August 2004

Publication

Ordinary Interactive Small-Step Algorithms, II

Andreas Blass, Yuri Gurevich

MSR-TR-2004-88 | August 2004

Publication

Information Exchange in Wireless Networks with Network Coding and Physical-layer Broadcast

Yunnan Wu, Philip A. Chou, S. Y. Kung

MSR-TR-2004-78 | August 2004

Publication

Multi-level Anchorperson Detection Using Multimodal Association

Dongjun Lan, Yu-Fei Ma, Hong-Jiang Zhang

August 2004