Microsoft Research

The wealth of information and data freely available to researchers over the Internet is breathtaking, and has led to fundamental changes in the ways in which information is accessed and used by

A perceptual image hash function maps an image to a short binary string based on an image's appearance to the human eye.

How do we make decisions -- good and bad -- and why are some people so much better at it than others?

This talk introduces Latent Relational Analysis (LRA), a method for measuring relational similarity.

Things fall down, not up. Weddings have a bride and a groom (sometimes). If people yell at you, they're probably angry.

When live-migrating an operating system from one virtual machine to another, what it the least amount of privileges needed?

Sentiment analysis aims to identify the subjective content of text: what kinds of opinions are being expressed, and how?

Many studies in recent years have shown that many network, such as the Internet and the WWW, as well as other technological, bilogical, and social networks are scale free networks.

Can you realistically make the money you hope to in the game you're playing? The fundamentals of how a business makes money are being rapidly and permanently altered by sweeping structural changes.

The field of linguistics has seen a remarkable broadening of interests on the part of grammatical theorists in recent years.

A new project at Dartmouth College is being developed to take advantage of its unique position as a living lab for advances in mobile computing.

We present a formal method for modelling the operational behavior of various kinds of systems of concurrent processes. A first objective is that the method be broadly applicable.

With the limited field of view of human vision, our perception of most scenes is built over time while our eyes are scanning the scenes.

As modern computer systems grow in both size and complexity, so has the need for automatic analysis and computer-aided administration of these systems.

In most software applications, investments in software dependability compete with investments in such alternate capabilities as functionality, response time, adaptability, and speed of development.

A face model is a mapping from a set of parameters to an image of a face. The most well-known face models are Active Appearance Models and 3D Morphable Models.

In the field of WSD, it has been established that supervised systems (systems that rely on sense labeled data) perform significantly better than unsupervised WSD systems.

In this talk we discuss the use of logic for reachability analysis for infinite-state systems. Infinite-state systems are formalised using transition systems over a first-order structure.

How do we know what the next generation of software users cares about? Sociologists often study exotic cultures by immersing themselves in an environment until they become accepted as insiders.

accelerateddemocracy.net How might campaigns and government change if voters received personalized electronic updates when politicians fulfilled or violated their campaign promises?

This talk will consider a few cases from the ACM Risks Forum archives ( risks.org) for which the sensible use of formal methods could have made a decisive difference in avoiding serious

In my talk I will report on the work in progress. The initial idea of the project was to test available compilers of C-like languages. Our plan is the following: 1.

Macros are powerful tools that can facilitate resuse. But, with few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings.

Shape analyses are static analyses aimed at extracting invariants that describe the shapes of dynamically allocated recursive structures.

The Friend-of-a-Friend (FOAF) project was begun in 1999 to explore the application of semantic web technologies (RDF/XML) to people's personal details, such as their interests, occupations and

Efficient exploration of unknown environments is a fundamental problem in multi-robot coordination.

Part I: Vision:  Extraordinary Computing Experiences Imagine walking into a room with your camera phone, seeing a book you like, and in one snap of the camera the book is yours.  This and many

At the Interactive Systems Laboratories, our efforts have centered on human communications and on how computer systems can mediate or facilitate human communication.  We have recently launched the

Research activities at our research centre will be described, including handwriting recognition, OCR and legibility of printfonts.

Half of my title comes of course from Stewart Brand; the other half from Rousseau.