Microsoft Research

In Descriptive Complexity, we ask how rich a logical language is needed to describe a given computational problem.

Panel Discussion

The smallest words – pronouns, articles, prepositions, and other function words – account for over 55% of the words we use although they make up less than 0.1% of our vocabulary.

With the widespread adoption of proprietary social networks like Facebook and mobile chat platforms like Wechat, we may be heading to a future where all our communication are monetized and our

The Heisenberg group is the group of 3 x 3 uni-upper triangular matrices with entries in the reals,integers or mod n. This is in some sense the simplest non-commutative group.

No Abstract Available

Chair Alex Hodgson, Director of Marketing for ReadCube, will lead a panel discussion about the current challenges around the accessibility of scholarly content and the rise of innovative new models

Each day most people participate in humorous exchanges. We seek out movies, television programs, and books that make us laugh.

Neuroscience and the Quest for AI How systems neuroscience can help in the quest for Artificial General Intelligence

Poster Spotlights

Poster Spotlights

I will introduce a novel feed-forward architecture for semantic segmentation.

As web search is becoming more and more structured thanks to the availability of knowledge bases, scholar engines are also evolving towards that direction while facing the similar challenges and

In audio signal processing, sound source localization (SSL) is a mature field.

In 2014, the World Health Organization radically revised their definition of disability. The crux of this change was to define disability as context dependent rather than as an attribute of a person.

Traditional scheduling algorithms, especially those involving job scheduling on parallel machines, make the assumption that the machines are always available and try to schedule jobs to minimize

A video of a coin travelling through the Numiscan machine.

Thomas Deuel, a neuroscientist, sound artist, and neurologist, discusses his work with music generated through conscious control of the electroencephalogram.

The panel discusses challenges and opportunities in integrative artificial intelligence (AI), an area concerned with the development of systems that efficiently and robustly integrate multiple AI

We introduce the notion of an interpolation mechanism, that interpolates between a truthful and non-truthful mechanism.

Many emerging applications produce and use estimates in domains as diverse as probabilistic reasoning, machine learning, data analytics, approximate computing, and sensor programming.

In secure multi-party computation (SMC), mutually distrusting parties cooperatively compute functions of their private data; in the process, they only learn certain results as per the protocol

Several studies have shown that people inside Immersive Virtual Reality (VR) behave realistically when presented with complex situations.

A Join and Fork circuit implemented in DNA

Over the last 15 years, significant advances have been made in inference and decision making under uncertainty, machine learning, vision, speech recognition, natural language processing, and dialog.

Developing a Data-Driven Web Attack Detector This work demonstrates how to benefit from usage logs in the implementation of a web attack detector.

Every day, the population of New York regions shrinks and swells as people travel into and around the city.

Current depth sensors (LIDARs, Kinect, stereo cameras, etc.) are expensive, power hungry and often demand dedicated hardware, cooling systems and precise calibration.

Surveys reveal that network outages are prevalent, and that many outages take hours to resolve, resulting in significant lost revenue.

The demand for Internet speeds continues to explode with the new applications such as augmented reality, artificial intelligence on mobile devices, and Internet of Things.