Microsoft Research

This talk is part of the MEMOCODE conference taking place at Microsoft Research, Cambridge on Monday 11th - Wednesday 13th July 2011.

The natural user interface (NUI) revolution is well underway, and exciting new technologies are transforming how we interact with computers, what they can do for us, and who can use them.

This talk is part of the MEMOCODE conference taking place at Microsoft Research, Cambridge on Monday 11th - Wednesday 13th July 2011.

Event-B is a method for the stepwise development of programs. The development is mostly top-down and gradually introduces details, rather than starting at the concrete level of writing code.

Many scene understanding tasks are formulated as a labelling problem that tries to assign a label to each pixel of an image, that may correspond to different object classes such as car, grass or

Consider percolation on the Hamming cube {0,1}^n at the critical probability p_c (at which the expected cluster size is 2^{n/3}).

This talk is part of the MEMOCODE conference taking place at Microsoft Research, Cambridge on Monday 11th - Wednesday 13th July 2011.

Understanding the control forces that drive humans and animals is fundamental to describing their movement. Good models of control would be informative for many fields.

We present graph-based methods for online semi-supervised learning and conditional anomaly detection.

With the release of both Windows Phone and Windows Azure the world has become an exciting place allowing developers to create scalable applications with relatively little effort.

It has been a long time quest of artificial intelligence to develop systems that can emulate human reasoning.

Intelligent Information Access and Extraction suggest significant challenges for Natural Language analysis.

I will discuss averaging on manifolds, mainly the manifold SO3 of 3D rotations.

Malicious software (malware) is an important threat and root cause of many security problems on the Internet.

I will give this talk in two parts.

In 1999 A. Barabasi and R. Albert suggested the idea of preferential attachment to explain the power law distribution of the vertex degrees in web graphs.

Tony Hey will welcome the attendees of Faculty Summit 2011 and provide a short overview of our collaboration with the research community.

I'll discuss two pieces of work on inference in probabilistic models: The first concerns a very general class of Bayesian Linear Models that are widely used in statistics and machine learning.

At Eurocrypt 2010 van Dijk {\sl et al.} described a fully homomorphic encryption scheme over the integers. The main appeal of this scheme (compared to Gentry's) is its conceptual simplicity.

Around the turn of the century, a favorite pastime in machine learning was to inject various forms of domain knowledge into clustering.

Despite a decade of research, the problem of securing the global Internet's routing system is far from solved.

Writing papers and giving talks are key skills for any researcher, but they arenΓÇÖt easy.

The Abelian sandpile growth model is a deterministic diffusion process for configurations of chips on the integer lattice.

Event-B is a method for the stepwise development of programs. The development is mostly top-down and gradually introduces details, rather than starting at the concrete level of writing code.

Current systems that learn to process natural language require laboriously constructed human annotated training data.

Kinect for XBox 360 is not just a new way of controlling computer games, it represents a fundamental change in the way humans can interact with machines.

These talks are part of the lecture series associated with the Hawaii Intern XAPFest app building contest.

Microsoft .NET Gadgeteer is a new prototyping platform that makes it easier to construct, program and shape new kinds of computing objects.

We will walk through building an interesting app that leverages one of the Hawaii services (OCR) on wp7. We will also introduce the other services in the SDK.

Online program monitoring is an effective technique for detecting bugs and security attacks in running applications.