Microsoft Research

ChatArt is a texting, chat-style application that allows users to interact pictographically and not simply through words. Users can manage groups and send picture messages to friends of their choice.

More than twenty years ago, Manickam, Miklos, and Singhi conjectured that for any integers $n \geq 4k$, every set of $n$ real numbers with nonnegative sum has at least $\binom{n-1}{k-1}$ $k$-element

If a vector has one index and a matrix has two, then a tensor has k indices, where k could be 3 or more.

New platforms such as Windows Phone have a large number of applications yet platform providers currently have a very limited view of what behaviors these applications exhibit in the wild.

IΓÇÖm going to talk about encoding various constructs in Boogie.

In this talk, I will present my recent PhD work on coherent depth in stereo vision ΓÇô both in computer vision and human vision.

When speech signals are captured by one or more microphones in realistic acoustic environments, they will be contaminated by noise due to surrounding sound sources and by reverberation due to

Being one of the most elegant sensory organs of the human body, anomalies in the retina can have serious consequences on the vision system and are indicative of specific medical conditions.

Want to learn about how to make a Tower Defense engine or a toolkit filled with controls to make your applications user friendly?

It's extremely difficult to store information or compute without power.

We present algorithms for a class of problems called resource allocation problems, both in the online setting with stochastic input and in the offline setting.

Drawing on an ethnographic study with online as well as offline components, this paper investigates information practices related to underground body modification procedures used to permanently (and

Code voting seeks to address the issues of privacy and integrity for Remote Internet Voting.

A core element of microeconomics and game theory is that consumers have valuation functions over bundles of goods and that these valuation functions drive their purchases.

This talk will present the results of my research on feature generation techniques for unstructured data sources.

This talk will describe SocialFusion, a research project at the University of Colorado at Boulder that is exploring how mobile phones, sensor networks and social networks can be fused via cloud

Video telephony has been confidently predicted as the killer app of the future - the replacement for voice telephony - since at least 1927, yet attempt after attempt has met with failure in the

Given three or four synchronized videos taken at eye level and from different angles, we show that we can effectively detect and track people, even when the only available data comes from the binary

Coding theory has had two divergent schools of thought, dating back to its origins, based on the underlying model of the noisy channel.

Rustan Leino chairs this session at Faculty Summit 2011, which includes the following presentations.

Modern approaches to machine translation are data-driven.

Jaime Puente chairs this session at Faculty Summit 2011. Presentations include.

We describe an emerging paradigm for the design of efficient algorithms for massive graphs.

This talk is based on a work in progress.

The Gaussian central limit theorem says that for a wide class of stochastic systems, the bell curve (Gaussian distribution) describes the statistics for random fluctuations of important observables.

Alex Wade chairs this session at Faculty Summit 2011, which includes the following presentations.

Evelyne Viegas chairs this session at Faculty Summit 2011, which includes the following presentations.

Evelyne Viegas chairs this session at Faculty Summit 2011, which includes the following presentations.

This talk will present an emotion sensor on Windows phones named ΓÇÿListen-n-FeelΓÇÖ, which listens to the phone userΓÇÖs speech and tells whether the user is happy or sad, based on audio signal

Yan Xu chairs this session at Faculty Summit 2011, which includes the following presentations.