Microsoft Research

Future system design methodologies must accept the fact that the underlying hardware will be imperfect, and enable design of robust systems that are resilient to such imperfections.

A Semantic Desktop is a means to manage all personal information across application borders based on Semantic Web standards.

In the often male dominated world of computers, Rebecca Norlander has made a name for herself by taking on big challenges, and proving she has what it takes to deliver results.

Do you dream of a city at the end of time? In a time like the present, in a world that may or may not be our own, three young people dream of a fabulous, decadent city in the distant future.

In recent years, P2P content distribution (e.g. live streaming or VoD) has received increased adoption, as well as research interest.

We give an overview on automatic verification of infinite-state systems in general and in particular of dynamic/parametrized networks of processes.

In the amazing new world of billion-transistor chips, computers can achieve a form of self-improvement scarcely imagined before.

A complete system for distant speech recognition (DSR) typically consists of several distinct components.

The acoustic interface for future multimedia and communication terminals should be hands-free and as natural as possible, which implies that the user should be free to move and and should not need

Shannon wrote in 1948: The

A relatively new technique for finding errors in concurrent programs proceeds by identifying *generic* properties that capture correct concurrent interaction patterns, and by identifying errors by

Classical newforms are cusp forms on congruence subgroups of SL(2,Z) that are eigenvectors for the Hecke operators.

In recent years, pervasive technologies for health, or Pervasive Healthcare, has emerged as a vital discipline in its own right.

There are currently several different approaches to semantics, semantic technologies, and the Semantic Web floating around.

With the inherent problems in writing correct and efficient concurrent code, a recent concurrent programming paradigm called 'software transactional memory' has gained popularity.

Most of us do it every day. Get in the car, put the key in the ignition and pray the traffic gods will smile on us.

This talk has three purposes.

We present Logically Qualified Data Types, abbreviated to Liquid Types, a new static verification technique which combines the complementary strengths of automated deduction (SMT solvers), model

Garrett Hardin's famous tragedy

Array of microphone structures are capable of processing acoustic signals to extract useful spatial information of three-dimensional surroundings, and are important in a plethora of applications

Can we save the Internet from ourselves? The Internet and PCs that connect to it are ΓÇ£generativeΓÇ¥: they can be changed by anyone, anywhere.

Brands are dead. Advertising no longer works. Weaned on TiVo, the Internet and other emerging technologies, the short-attention-span generation has become immune to marketing.

The focus of the talk is deterministic public-key encryption schemes.

This talk consists of two short talks. Localization of 3D Audio-Visual Objects Using Unsupervised Clustering We address the problem of localizing objects that can be both seen and heard.

Traditional runtime analysis of training Support Vector Machines, and indeed most learning methods, shows how the training runtime increases as more training examples are available.

Music is perhaps the richest medium for the expression of human emotions, but the computational analysis and synthesis of emotion through music is still in its infancy.

Real-time approaches are becoming increasingly important in understanding dynamical properties and excitations in condensed matter due to the increasing availability of high performance

Accurate traffic measurement and monitoring is critical for network management and operation.

Peta-scale, the Holy Grail of high-performance computing, is now reality. Sustained PetaFLOPS throughput was first achieved not by supercomputers, clusters, grids, or clouds, but by volunteers.

The Text REtrieval Conference (TREC) is an on-going series of evaluation workshops that has standardized and validated the use of test collections as a research tool for improving document retrieval.