Microsoft Research

In this talk I will first give a brief introduction to Energy Based Models.

In the traditional network hierarchy, reliability and security are handled in different protocol layers.

Virtual Earth Summit - Virtual Earth 3D Cities V.2; The Facility Map Framework Research Project; Virtual Earth 3D Control: Current Status and Future Plans; The 10 Best, 3rd Party Virtual Earth

Randomness, change, and probability reveal a tremendous amount about our daily lives, and how we misunderstand the significance of everything from a casual conversation to a major financial setback.

Higher order frame rules in separation logic provide a way to understand disciplines such as ownership for information hiding in object based programs.

We study the application of modular static analysis to prove program safety and detection of program errors. In particular, we shall consider imperative programs that rely on numerical invariants.

Identification and equalization of Room Transfer Functions (RTFs) is an important topic with several applications in acoustic signal processing.

Virtual Earth Summit - Efficient Image Correspondence and Indexing Methods for Urban Scene and Object; Enhancement of Photographs Using Virtual Earth ; City Capture

Almost all software contains undiscovered bugs, ones that have not yet been exposed by testing or by users. What is the location of these bugs?

Virtual Earth Summit - Towards Reconstructing the World from Photos on the Internet; On Testing Non-Testable Information Retrieval Systems with Geographic Components on the Web

Most previous work on blogging focuses on bloggers.

This talk will provide an overview of the formal methods research conducted at NASA Langley and the National Institute of Aerospace (NIA) in support of the Next Generation of Air Transportation

Virtual Earth Summit - Legal Implications of Who + What + Where + When?; POI Discovery and Driver Turn Prediction; User Contributed Geo-Content; Interactive 3D Building Modeling

Tel Aviv University

Astronomy, like all sciences, is being revolutionized by the progress in computation and information technology.

This talk will present an overview of the OSIsoftΓÇÖs PI System detailing the benefits of a high fidelity data store, describing system architecture and product offerings.

Virtual Earth Summit - Integrating Online Maps with Aerial Imagery; Semantic Enrichment of Street Side Imagery

A fundamental problem faced by advertisers bidding for slots in a keyword auction is how to bid so as to maximize their profit.

Multicore systems have become the industry standard from high-end servers, down through desktops and gaming platforms, and finally into handheld devices.

Levy processes are random measures that give independent mass to independent increments.

Two main trends of the evolution of the Internet are the sharply increasing bandwidth and the dominance of video traffics.

Driven by the hardware shift to multi-core architectures, concurrency is being brought into mainstream software development.

Virtual Earth Summit - Welcome - Overview of the Summit, One Minute Introductions

Automatic human affect recognition research is to enable a computer to understand human affective behavior through sensors, with a goal of building human-centered and affect-support computing

Current statistical speech translation approaches predominantly rely on just text transcripts and do not adequately utilize the rich contextual information such as prosody and discourse function

The shift toward multi-core processors is the most obvious implication of a greater trend toward efficient computing.

The everyday interactions which we carry out with computers are constrained by our own perceptual and motor capabilities that are associated with the technology being used.

An important class of applications is data-driven web applications, i.e., web applications that run on top of a back-end database system.

In this talk, I present an overview of three projects in my research group. 1) The PRIME project focuses on fundamental issues in the design and evaluations of P2P streaming mechanisms.

We present a method for verifying software transactional memory (STM) implementations.