Microsoft Research

Modern phones are being equipped with numerous sensors such as cameras, microphones, GPS, accelerometers, and health monitors. This project aims to design a Virtual

Many recent computational photography techniques decompose an image into a piecewise smooth base layer, containing large scale variations in intensity, and a residual detail layer capturing the

In this talk I will discuss a potential path towards building a massively connected machine with the processing power and {\em connectivity} similar to that of the human brain in one cubic meter.

The latest generation of WWW tools and services enables Web users to generate applications that combine content from multiple sources. This type of web application is referred to as a mashup.

Metabolites are intermediates and products of metabolism.

The FindBugs project is a static analysis tool for Java programs that is designed to find coding mistakes.

The claytronics project is working on realizing programmable matter. Programmable matter is any substance which can be programmed to effect a change in one or more of its physical characteristics.

Assume-guarantee reasoning is a ΓÇ£divide and conquerΓÇ¥ approach to the verification of large systems that makes use of assumptions about the environment of a system component.

Elastic Computing has emerged as a popular SLA-based utility computing paradigm that is has seen rapid uptake in the small-and-medium business e-commerce market place.

Without well-provisioned dedicated servers, modern fast-paced action games limit the number of players who can interact simultaneously to 16-32.

Accurate models often are complex models. For example, ensembles often contain 100's or 1000's of base-level classifiers.

In this talk, I will share our experiences with creating tools and a methodology for testing concurrent software during the last nine years. I will start by explaining why the problem is troublesome.

There is a growing need for ad-hoc analysis of extremely large data sets, especially at internet companies which routinely process petabytes.

We describe an approach to testing complex safety critical software that combines unit-level symbolic execution and system-level concrete execution for generating test cases that satisfy

The accumulated technologies and practices of general computer science and software engineering have failed to impact the productivity gridlock in scientific programming.

Sensors and imaging systems and networks are under increasing pressure to accommodate ever larger and higher-dimensional data sets; ever faster capture, sampling, and processing rates; ever lower

The various fields associated with interactive software systems engage in design activities to enable people who would use the resulting systems to meet goals, coordinate with others, find meaning

Over the last decade, inspired and motivated by the prospect of innovating the core of the musical experience, I have explored a number of research directions in which digital technology bears the

In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances.

We propose a practical standard-compliant multiple description (MD) image Coding technique.

Color imaging technologies with higher dynamic range, wider color gamut, and greater bit depth require new and/or different ways of thinking about color.

It is hard to imagine a time when the internet wasnΓÇÖt a part of our lives. It has been over a decade since the Web transformed the Internet from an academic exercise into a common household name.

We need to get our own house in order!

Optimization of communication networks has recently witnessed an impressive growth of research activities.

Guava (GUI-as-view) is a project that was started to address the needs of domain experts who want to run queries. Not all domain experts have extensive database experience.

Today, computer security resembles an arms race: the bad guys constantly find new ways to break in, and being safe requires staying one step ahead of them in cutting off avenues of attack.

To increase reliability, developers have long used assertions--logical statements that are expected to be true--as lightweight specifications of crucial properties of code.

CarTel is a software and hardware platform for opportunistic sensing using moving vehicles that has been under development since 2005.

Recent theoretical and simulation-based studies have confirmed the tremendous benefit of peer-to-peer (P2P) communication at reducing the cost of running a VoD service.

Does whatΓÇÖs on your desk reveal whatΓÇÖs on your mind? Do those pictures on your walls tell the true tales about you? Is your favorite outfit about to give you away?