Microsoft Research

The Internet has achieved great creative success, opening our eyes to radically new communication capabilities and distributed control opportunities.

Attempts to retrofit access controls into enterprise networks have met with varied success.

Graph clustering---clustering the nodes of a graph---is a fundamental problem arising in many machine learning and data mining applications.  The last few years have seen a surge of interest in

Wireless networks, including Wi-Fi infrastructure and mesh networks, are becoming ubiquitous.

Search engines play an important role in helping users find desired content.

I will describe some algorithms for addressing some fundamental optimization problems that arise in the context of data storage and management.

Microsoft Research – 6 сентября 2016, 6:32

Joint work with Ronan Collobert, Fabian Sinz, and Jason Weston.

Microsoft Research – 6 сентября 2016, 6:32

In this talk I will describe some recent work at MSR Cambridge to measure Microsoft's enterprise network as seen from our site.

Microsoft Research – 6 сентября 2016, 6:31

Many of our current research projects at MERL are squarely in the pervasive-computing realm, such as: interactive multi-user tabletop displays, operator-identifying automotive controls, digital home

Microsoft Research – 6 сентября 2016, 6:31

Chip Multiprocessors (CMPs) have emerged as the common choice for processor manufacturers to take advantage of CMOS scaling trends that lead to greater numbers of smaller transistors on a single chip.

Capture and representation of a persons appearance during movement in a form that can be manipulated for highly realistic computer animation in games and film is an open research problem.

The notion of a ''market'' has undergone a paradigm shift with the Internet -- totally new and highly successful markets have been defined and launched by companies such as Google, Yahoo!, Amazon

Microsoft Research – 6 сентября 2016, 6:30

Data abstraction through predicate abstraction in software model checking requires a theorem proving step to create an abstract version of the program control structure.

Microsoft Research – 6 сентября 2016, 6:29

The mysteries of the physical world speak to us through equations -- compact statements about the way nature works, expressed in nature's language, mathematics.

Adaptive System Design 1) Understanding human learning on a complex navigation task, 2) Building models of conflict evolution from events data extracted from wire reports, 3) Building regulatory

Microsoft Research – 6 сентября 2016, 6:29

Model­-based software and system design is based on the end-to-end use of formal, composable and manipulable models in the product life-cycle.

Joint work with Jérôme Berclaz, Richard Lengagne and Pascal Fua.

In this talk, we will sketch the theory of simultaneous optimization for concave profit functions, and point out connections to fairness.

Flow control, including congestion control for data and rate control for multimedia, is an important issue for information transmission in wireless networks.

Concurrency in user applications is on the rise.

The DARPA Grand Challenge has been the most significant challenge to the robotics community in more than a decade.

Programmable network elements are the building blocks of the emerging Global

In Play Between Worlds, T. L.