Microsoft Research

I describe how global optimization methods based on interval arithmetic can be used for solving a variety of problems in computational geometry, including the detection of parametric geometric

This paper presents the theoretical blueprint of a new secure token called the Externalized Microprocessor (XmP). Unlike a smart-card, the XmP contains no ROM at all.

The Laboratory for Recognition and Organization of Speech and Audio investigates novel applications of signal processing and machine learning to extract information from audio signals including

From the inventor of fractal geometry, a revolutionary new theory that overturns our understanding of how markets work. Benoit B.

In this talk, we propose a new measure for the semantic similarity of query terms based on the statistical correlation of their frequency functions.  We develop an efficient way to approximate this

Anita Borg Institute Mission: To increase the impact of women on all aspects of technology, to increase the positive impact of technology on the lives of the world's women, and to help communities

We discuss the limited-supply online auction problem, in which an auctioneer has k goods to sell and bidders arrive and depart dynamically, from a theoretical point of view and show how Economics

My research group has made significant progress in many areas of human-computer interaction that will be of interest to Microsoft.

mountainmadness.com/intl/africa/africa.htm hec.org/club/clothingbank2.htm It is midnight at 11,000 feet on Mount Kilimanjaro when a bedraggled figure of a man approaches

Advances in storage technology and audio compression have made possible the storage of large collections of music on personal computers and devices.

We propose the hierarchical Dirichlet process (HDP), a hierarchical, nonparametric, Bayesian model for clustering problems involving multiple groups of data.

The ever increasing network bandwidth and availability has made the vision of ubiquitous computing a reality: Users can access the Internet's vast offerings anytime and anywhere.

In this talk, we propose collaborative algorithms for wireless networks.

The complexity of modern computation has led to the paradoxical situation where we have ever more unreliable systems built out of ever more reliable hardware.  In the real world, users of Windows

XQuery is the upcoming standard language for querying XML data. The dynamic semantics of XQuery is defined in such a way that the evaluation of an XQuery expression may crash (raise a run-time error).

RAPUNSEL is an on-line computer game/learning system to enable children, especially underprivileged groups and girls, learn to program computers.

The documentation for systems that generate or translate programs often use exemplars to describe their output format.  These exemplars should become part of the translator itself as formal

After a brief introduction a survey of some recent results will be given of ergodic and stochastic properties of Sinai billiards.

Research at the HCT lab focuses on the relationship between people and machines.  The approach we take is that interaction aesthetics drive relationships that are at play as people learn to use

We have been rethinking the fundamental sampling strategies used in interactive computer graphics. This rethinking has led to such interesting questions as, How

Graph-based ranking algorithms have been traditionally and successfully used in citation analysis, social networks, and the analysis of the link-structure of the World Wide Web.

We consider a wide family of models for random constraint satisfaction problems. This family includes random k-SAT, random k-colourability and many other well-studied generalizations.

The {\em multicast capacity} is the maximum rate that a sender can communicate common information to a set of receivers in a network.

Although face recognition has been actively studied during the nineties, the state-of-the-art recognition systems perform poorly when confronted with unconstrained scenarios such as illumination and

Despite intensive research efforts directed toward improvement of nucleotide dye labelling technology and modification of the polymerase used for automated DNA sequencing, the peak heights seen in

In order to study the effects of the lack of coordination in games, we can compute the ratio between the optimal social function and the social function in a Nash equilibrium, i.e, we can find the

In recent years, because cameras have become inexpensive and ever more prevalent, there has been increasing interest in modeling human shape and motion from image data.

As improvements in processor speed continue to outpace improvements in cache and memory speed, poor locality increasingly degrades performance.

The Space Elevator, long considered a favorite topic in science fiction, has recently emerged as a mainstream concept for the development of commercial access to space.

As computers and the Internet become tools and places for social interaction, computer scientists and behavioral scientists can work together to explore the social and behavioral aspects of this new