Skip to main content

Microsoft Research Audio

Microsoft

More than 1,100 brilliant scientists and engineers push the boundaries of computing in multiple research areas in 13 research labs around the world.



rss RSS

1,709
RESULTS


Show sorted alphabetically

Show sorted alphabetically

SHOW DETAILS
up-solid down-solid
eye
Title
Date Archived
Creator
Software tends to misbehave more often than we would like due to bugs and security attacks. The good news is that there are a variety of dynamic program monitoring tools (which we call 'lifeguards') that can detect and sometimes repair these problems at runtime. The bad news, however, is that these lifeguards (e.g., Valgrind) often slow down execution by an order of magnitude or more, thereby limiting their usefulness. With the emergence of chip multiprocessing as the dominant computing...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Trishul Chilimbi, Todd C. Mowry
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jonathan Tyman
A tremendous enthusiasm for amassing enormous amounts of network measurement data has spurred the development of numerous applications that incorporate data mining techniques. In this talk we question the hidden assumption in these applications that one needs to collect 'all the data all the time'. We consider this question in the context of an anomaly detection application. We study the popular 'Subspace method detector' that is based on PCA analysis. This method normally collects data from...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Weidong Cui and Sharad Agarwal, Nina Taft
Microsoft Research Audio
audio

eye 6

favorite 0

comment 0

Millions of academic writers worldwide struggle with typesetting of their documents every day. Hundreds of methods, tricks, and practices evolve in different research groups. Two of the most popular typesetting systems in academia are LaTeX (implemented in various software packages) and Microsoft Word. The compatibility between the two systems leaves much to be desired. For a given research group, standardization of typesetting practices is quite important and the requirements for an effective...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Alex Acero, Alexander Mamishev
For centuries, the general view had been that science is neither good nor bad, that it merely supplies information ad that new information is always beneficial. Now we live in a world where the leaders of Africa nations prefer to let their citizens starve rather than import genetically modified grains, and where childhood vaccines, one of the most effective health measures in history has people marching against their use. In the best universities in the world the research labs are surrounded by...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley, Michael Specter
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

The talk presents work of the Institute for System Programming on applications of formal methods into practical software engineering. It considres applications of model based testing to Linux Standard Base, Linux driver verification, test development for mathematical libraries, some works in compiler testing.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

3:15 – 3:45 TBA Pret-a-Voter: overview and open probelms
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Information retrieval and access have become central technologies for managing and leveraging the ongoing explosion of digital content. While effective, current techniques for designing retrieval models are limited by two issues. First, they have restricted representational power, and generally deal with simple settings that estimate the quality of individual results independently of other results. Second, …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Over the past decade and a half, considerable time and money has been invested in the realization of ubiquitous computing. Yet iterative design is still difficult and rare, which limits the speed with which the field can move forward. Based on the literature and interviews with 28 developers, we show how issues of sensing and scale cause ubicomp systems to resist iteration, prototype creation, and ecologically valid evaluation. Our work has focused in particular on a tool for enabling...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mary Czerwinski, Jen Mankoff
Microsoft Research Audio
audio

eye 4

favorite 0

comment 0

Contracts play a major role in establishing binding relationships between various business units and also between businesses and their customers. A contract consists of numerous activities that have to be carried out by the involved parties and contract clauses that address specific concerns in the business process interaction. It is a fact that, large number of contracts are created, executed and managed, everyday. The key question is How do we model and enact electronic contracts by...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Venky Ganti, Kamal Karlapalem
Microsoft Research Audio
by Microsoft Research
audio

eye 2

favorite 0

comment 0

This talk has three purposes. The first is to explain to a general audience what is involved in retrieving a web page or performing some other complex network task, and what can make it slow, and why the problem of slowness is likely to get worse as networked applications become more complex. The second is to describe to those who program networked applications certain facts that we have learnt from modelling communication networks, which may allow more efficient applications to be written. The...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Albert Greenberg, Damon Wischik
Bridging art and architecture, Christian Moeller's work explores how emergent digital media have transformed our landscapes of experience across multiple scales, from the fleeting granular image to the topology of cities. Moeller analyzes a site (a moment, a site, a city, a surface, an image) not as a static form, but as a system in flux. Instead of freezing finished works, Moeller embraces the structures of our society-in-motion and designs transient systems for the unfolding of events that...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Lili Cheng, Christian Moeller
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Despite years of research on static techniques, the state of practice for analyzing concurrent software remains relatively primitive. Recent advances in program analysis technology, however, hold out some hope for significant progress. This talk will present the approach and initial results of a project to build an effective static race detector, namely one that developers can use routinely to reliably identify dangerous races in realistic scale systems. We'll discuss how far we've advanced...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John Spencer, Alex Aiken
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

Over the last few years, we have seen a number of real-world systems using live data from sensors (e.g., sensor motes and webcams). A crucial requirement of these systems is high availability. However, achieving high availability is extremely challenging due to three factors. First, due to their harsh deployment environments, sensor and communication failures are common. Second, sensors are often resource constrained. Third, the systems must run mostly unattended. In this talk, I will address...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Alec Woo, Suman Nath
The question whether a given program terminates for all its inputs is one of the fundamental problems in program verification. Thus it has been researched quite thoroughly in the past and many techniques and tools have been developed, most notably in the term rewriting and the logic programming community. However, until very recently, hardly any of these techniques could be used for real programming languages. Instead of starting from scratch and developing completely new techniques, we want to...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Wolfram Schulte, Peter Schneider-Kamp
Dynamic binary translation (DBT) is a runtime instrumentation technique commonly used to support profiling, optimization, secure execution, and bug detection tools for application binaries. However, DBT frameworks may incorrectly handle multithreaded programs due to races involving updates to the application data and the corresponding metadata maintained by the DBT. Existing DBT frameworks handle this issue by serializing threads, disallowing multithreaded programs, or requiring explicit use of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Onur Mutlu, JaeWoong Chung
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

We define (with machine-checked proofs in Coq) a modular operational semantics for Concurrent C minor—a language with shared memory, spawnable threads, and first-class locks. By modular we mean that one can reason about sequential control and data-flow knowing almost nothing about concurrency, and one can reason about concurrency knowing almost nothing about sequential control and data-flow constructs. We present a Concurrent Separation Logic with first-class locks and threads, and prove its...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Rustan Leino, Aquinas Hobor
Microsoft Research Audio
audio

eye 6

favorite 0

comment 0

It is well-known that methods of statistical physics are applicable to computational optimization problems like the traveling salesman problem. In the random link model, where all pairs of cities receive independent 'distances', several features of the optimum solution have been predicted non-rigorously based on so-called replica symmetry. I will present a rigorous approach where each of several optimization problems leads to a two-person game. The assumptions underlying the replica symmetric...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Wilson, Johan Wastlund
Microsoft Research Audio
audio

eye 5

favorite 0

comment 0

There has been significant activity on the application of wireless technologies to solve asset management problems across a number of industries. Research analysts indicate that wireless sensors, real-time location systems (RTLS), and telemetry will represent multi-billion dollar opportunities for software companies that can deliver the capabilities demanded by end users. Current applications include asset tracking within a facility; inventory visibility across the supply chain; process or...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Feng Zhao, John Gloekler
How do we get programmers to routinely write parallel software? We have been working in earnest on this problem for over 25 years; actually much longer if you consider that the first multi-threaded machine appeared in 1958 (the Gamma 60 by Bull). But at this point, I’m not sure we’re really getting any closer to solving it. If we study the history of parallel programming, it is clear that in order to solve the parallel programming problem we need to: (1) understand how people write parallel...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John Feo, Tim Mattson
Microsoft Research Audio
audio

eye 18

favorite 0

comment 0

The number of African Americans and Latino/as receiving undergraduate and advanced degrees in computer science is disproportionately low. Relatively few African American and Latino/a high school students receive the kind of institutional encouragement, educational opportunities and preparation needed for them to choose computer science as a field of study and profession. Let us look at the daily experiences of students in three Los Angeles public high schools: an overcrowded urban high school,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts, Kirsten Wiley, Jane Margolis
Microsoft Research Audio
audio

eye 7

favorite 0

comment 0

Until recently, the study of cognition and the neurophysiological basis of human behavior was the subject of quite separate disciplines such as psychology, neurophysiology, cognitive science, computer science, and philosophy, among others. Mental processes were mainly studied in the framework of abstract theories, mathematical models, and disembodied artificial intelligence. It has now become clear that mental processes are strongly entwined with the physical structure of the body and its...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Zhengyou Zhang, Giorgio Metta
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

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, MSN and Ebay. Another major change is the availability of massive computational power for running these markets in a centralized or distributed manner. In view of these new realities, the study of market equilibria, an important, though essentially non-algorithmic, theory within Mathematical...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kamal Jain, Vijay Vazirani
Microsoft Research Audio
audio

eye 6

favorite 0

comment 0

Advances in storage technology and audio compression have made possible the storage of large collections of music on personal computers and devices. In order to develop effective tools for browsing and searching these large collections, it is necessary to go beyond treating audio as a monolithic block of samples and create algorithms that in some ways 'understand' the musical content. Although initial work in Music Information Retrieval (MIR) mainly used ideas and features from Speech Analysis,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Cormac Herley, George Tzanetakis
Attribute data and relationship data are two principle types of data, representing the intrinsic and extrinsic properties of entities. While attribute data has been the main source of data for cluster analysis, relationship data such as social networks or metabolic networks are becoming increasingly available. In many cases these two data types carry complementary information, which calls for a joint cluster analysis of both data types in order to achieve more natural clusterings. For example,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Asela Gunawardana and Arun Surendran,...
Microsoft Research Audio
audio

eye 6

favorite 0

comment 0

It's natural to assume that network protocol design is a well-known science, where the designers of today's standards take care to understand the tricks and pitfalls learned from previous protocols. This talk dispells this and other myths. This talk describes things that should be considered when designing a protocol, such as being able to manage parameters while the network continues to operate, designing to allow graceful migration to new features, scalability, and robustness. It talks about...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Chayes, Radia Perlman
Learn about Microsoft Research achievements and collaborative partnerships over the past 15 years as well as the role of a research lab during a fireside chat with Rick Rashid, senior vice president of Microsoft Research, and Mark Emmert, president of the University of Washington. ©2006 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kevin Schofield, Dan Ling, Mark Emmert,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Angela Kernan, Mark Hereld
Microsoft Research Audio
audio

eye 6

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John Nordlinger, Ken Perlin, Kelvin Sung
The field of linguistics has seen a remarkable broadening of interests on the part of grammatical theorists in recent years. Not long ago, grammarians confined themselves purely to constructing rules and principles governing the surface distribution of forms. Now, most pay attention to meaning, discourse, variation both between and within speech communities, and to stochastic processes. The current debate in the field is not over WHETHER grammarians should take account of these phenomena, but...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Michael Gamon, Fritz Newmeyer
Astronomy, like all sciences, is being revolutionized by the progress in computation and information technology. Central to this is the exponential growth of data volumes, rates, and complexity, now moving from Terascale to Petascale, with the attendant challenges of an effective knowledge extraction and discovery. These demands become much sharper as one moves from a static exploration of fixed data sets, to a dynamical, real-time exploration of massive data streams.We will illustrate some of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dan Fay, S. George Djorgovski
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

Can we save the Internet from ourselves? The Internet and PCs that connect to it are “generative”: they can be changed by anyone, anywhere. This quality has fueled innovations that enhance our lives in ways we could never have predicted. Wikipedia, Facebook and YouTube are all products of this generativity, created by individuals with good ideas and the freedom to explore and share them. Yet the same openness that nourishes innovators makes these systems vulnerable to abuse, and with the...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts, Kirsten Wiley, Jonathan L....
Traditional runtime analysis of training Support Vector Machines, and indeed most learning methods, shows how the training runtime increases as more training examples are available. Considering the true objective of training, which is to obtain a good predictor, I will argue that training time should be studied as a decreasing function of training set size. I will then present both theoretical and empirical results demonstrating how a simple stochastic subgradient descent approach for training...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Ofer Dekel, Nathan Srebro
Critical systems are present in an increasing variety of application domains like electronics, control, avionics, health equipment, etc. They are mostly embedded systems, controlling devices that may risk lives or damage assets, hence termed safety-critical systems. These applications generally involve concurrency aspects, as well as complex real-time requirements that challenge the development process. Traditional analytical tools (e.g., Rate Monotoinic Analysis) are not well-suited when...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Wolfgang Grieskamp, Victor Braberman
In the seminar, I will describe a user study of a novel information seeking interface that provides support for multi-faceted information seeking and targeted relevance feedback. The user interface is based on a document 'pile' metaphor that allows a user to arrange retrieved documents in visible piles, label these piles according to various aspects/facets of their search, and request the system to find documents similar to those contained within piles. Two interfaces were devised to evaluate...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Susan Dumais, David J. Harper
This will be a series of three lectures on Perelman's work, aimed at a general mathematical audience. The first lecture will briefly review Thurston's conjecture and its consequences, and then go through an outline of Perelman's argument. The second and third lectures will go into somewhat more detail, covering key points in the proof, such as the classification of finite time singularities, and (if time permits) Ricci flow with surgery. ©2005 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Assaf Naor, Bruce Kleiner
One important feature of a parallel programming model is deterministic semantics: that is, a program produces the same output on every execution with a given input, regardless of the parallel schedule chosen. Determinism makes parallel programs much easier to write, understand, debug, and maintain. Further, many (though not all) parallel programs are, in fact, intended to have deterministic semantics. However, general-purpose languages, particularly those that allow arbitrary updates to shared...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John Feo, Robert Bocchino
Humanity has a 50-50 chance of surviving this century, according to the eminent cosmologist Sir Martin Rees, Britain’s Astronomer Royal. Grim odds indeed, but James Martin, one of the great intellects of the information age, has devised a plan for stacking them more heavily in our favor. Martin has watched as concurrent crises pile up, including the destruction of the environment, overpopulation, poverty and terrorism—yet up until now lack of awareness and apathy have fostered inaction,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts and Kirsten Wiley, James...
Please join us for lunch at Microsoft this Giving Campaign! Hear about how our award-winning zoo saves wildlife and their habitats in the Northwest and around the world; while educating and inspiring our visitors to take conservation action. We'll also provide program/exhibit updates including the latest on the 188,000 acres our conservation partner the Tree Kangaroo Conservation Program recently protected in Papua New Guinea! And provide a little preview of our upcoming Meerkat Exhibit in...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kevin Schofield, Paul Balle, Lisa Dabek,...
Grand unification theories have long been a holy grail in science, and in our search for an elegant theory of the universe we must consider everything from quarks to black holes. The two main concepts we will explore here are the “Grid” and the “Core”—the grid is a conceptual descendant of ether, that mysterious substance once believed filled empty space. Some physicists theorize that space is highly structured by the grid, and the substance from which all physical matter is formed....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Shobana Balakrishnan and Kirsten Wiley,...
Microsoft Research Audio
by Microsoft Research
audio

eye 5

favorite 0

comment 0

In this talk I illustrate a decade of my visualization-centric software engineering research. I will focus on lightweight 2D and immersive 3D software visualization for program comprehension and software evolution analysis, but I will also touch other areas I am interested in, such as mining software archives, software ecosystems, software defects, and collaborative software engineering. ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tom Zimmermann, Michele Lanza
The Global Challenge, recently sponsored by the National Science Foundation ITEST program, supports young women and minority high school students to develop the knowledge, skills and personal vision to see science, technology, engineering and mathematical (STEM) studies as feasible and desirable choices for college majors. Students are formed into mentored international teams that learn together and compete for significant privately raised scholarships while working with IT tools of science -...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John Nordlinger, David Gibson
This talk was presented as a part of the MSR EdgeNet Summit 2006 on issues in campus and enterprise networks. More information available on that site. Traditional systems management has not been successful, and with ever-increasing scale, complexity and agility the problem keeps getting worse. The central problem is a lack of knowledge of the managed systems: what they are like, and what they should be like. We need formalized knowledge, in the form of system models, that allow automated...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Victor Bahl, Kirill Tatarinov
Microsoft Research Audio
audio

eye 4

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Daniel Maia
The machine translation and text summarization communities have both benefitted greatly from the introduction of automated evaluation procedures. Automatic evaluation methods facilitate faster turnaround for system development and assessment cycles, thus making them an essential part of the research problem. However, at the present, methodologies used in the evaluations are limited to lexical identity matching. The lack of support for word or phrase matching that stretches beyond strict lexical...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Lucy Vanderwende, Liang Zhou
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

Consider the Stochastic Knapsack problem where items have deterministic values but random sizes. The motivation for this problem is in the area of stochastic scheduling where a sequence of jobs should be scheduled on a machine within a limited amount of time. The running times of jobs are considered random and independent. A priori, only some information on their probability distributions is available. When a job has been scheduled and completed, its precise running time is revealed and this...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Laci Lovasz, Jan Vondrak
The multiplication of computing devices with which a person in the developed world interacts has grown rapidly. From laptops and mobile phones to automobiles and urban infrastructure, bits are being computed all around us. Each of these platforms brings with it a suite of sensors which are measuring the world of the user. Sometimes the sensors are intentional like GPS and speedometers, but other times they emerge from the repurposing of other hardware, such as Wi-Fi and camera phone location...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John Krumm, Donald J. Patterson
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Liz Lawley, Elizabeth Lane Lawley, Dan...
Scalable Parallel Computing on Many/Multicore Systems This set of lectures will review the application and programming model issues that will one must address when one gets chips with 32-1024 cores and “scalable” approaches will be needed to make good use of such systems. We will not discuss bit-level and instruction-level parallelism i.e. what happens on a possibly special purpose core, even though this is clearly important. We will use science and engineering applications to drive the...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jim Larus, Geoffrey Fox
A trajectory model, derived from the HMM by imposing explicit relationship between static and dynamic features, is developed and evaluated. The derived model, named 'trajectory-HMM', can alleviate some limitations of the standard HMM, which are i) piece-wise constant statistics within a state and ii) conditional independence assumption of state output probabilities, without increasing the number of model parameters. In this talk, a Viterbi-type training algorithm is also derived. This model was...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Alex Acero, Heiga Zen
Battelle’s blog: www.battellemedia.com What does the world want? According to John Battelle, a company that answers that question—in all its shades of meaning—can unlock the most intractable riddles of business and arguably of human culture itself. Battelle will discuss the past, present, and future of search technology and the enormous impact it’s starting to have on marketing, media, pop culture, dating, job hunting, international law, civil liberties, and just about every other...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tamara Pesik, John Battelle
Modern managed languages, such as Java and C#, derive many software engineering benefits from the use of virtual machines. While the performance penalty of VMs has received significant attention, the information penalty has not: extra layers of virtualization make program behavior (and misbehavior) much more difficult to understand. The garbage collector, for example, takes over the job of freeing objects, eliminating a large class of memory errors. As a result, however, programmers no longer...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Ben Zorn, Sam Guyer
Microsoft Research Audio
audio

eye 6

favorite 0

comment 0

Our students have changed; our classroom is the same for more than 100 years. As ICT researchers, we have the tools to transform this. The aim of this talk is to present how technology innovations have made possible to modify the classroom experience. We analyze and show applications of Educational Video Games for the Nintendo Game Boy, collaborative work assisted by portable devices with wireless networks, phones in the classroom, multiple mouse applications, and augmented reality with...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Lee Dirks, Miguel Nussbaum
Microsoft Research Audio
audio

eye 6

favorite 0

comment 0

Concurrent programs are notoriously difficult to write and debug, a problem that is becoming acute as concurrency becomes more common. A fundamental and particularly insidious concurrency bug is a race: a condition in which a pair of threads simultaneously access the same memory location and at least one of those accesses is a write. Despite thirty years of research on race detection, today's concurrent programs are riddled with races. This talk presents a novel approach to detecting races in...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tom Ball, Mayur Naik
A brain computer interface (BCI) allows users to communicate without movement. BCIs infer user intent through direct measures of brain activity, usually via EEGs. BCIs are the only means of communication possible for some severely disabled users and are becoming increasingly useful to healthy subjects. The talk will present: 1) EEG and other brain imaging technologies, 2) components of a BCI, 3) how to build and use several different BCI systems, 4) videos of BCIs, and 5) future directions....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Ed Cutrell and Desney Tan, Brendan Allison
Microsoft Research Audio
audio

eye 9

favorite 0

comment 0

The problem of dimension reduction has inspired many different methods over the years in the statistics and machine learning communities. However, as often seems the case, the efforts in these two communities seem largely disconnected. In this talk I will review some old statistical techniques that do not appear to be widely known in the machine learning community – estimating the Correlation Dimension, Sliced Inverse Regression, and Sliced Average Variance Estimation. I’ll put these...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dengyong Zhou, Chris Burgess
The key to creating scalable, robust natural language processing (NLP) systems is to exploit correspondences between known and unknown linguistic structure. Natural language processing has experienced tremendous success over the past two decades, but our most successful systems are still limited to the domains and languages where we have large amounts of hand-annotated data. Unfortunately, …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

A substantial amount of work today is accomplished through collaborative activities, which may be open-ended and opportunistic or structured and well defined, with participants with similar skills and knowledge or from different disciplines. Our group has been investigating, and developing tools to support, several different scenarios of collaborative work. On one end of the spectrum, …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 12

favorite 0

comment 0

COMPANIONS is an EU project that aims to change the way we think about the relationships of people to computers and the Internet by developing a virtual conversational 'Companion'. This is intended as an agent or 'presence' that stays with a user for long periods of time, developing a relationship and 'knowing' its owners preferences and wishes. The Companion communicates with the user primarily through speech. This paper describes the functionality and system modules of the Senior Companion,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tim Paek, Yorick Wilks
In this talk, I will report on the results of the SCALE workshop that was held at the JHU Human Language Technology Center of Excellence. This summer I worked for 8 weeks alongside 18 other researchers on improving the quality of Urdu-English machine translation. Working with Urdu is different than working with Arabic and Chinese …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

In this talk, we will provide a brief overview of the research that we have conducted in the area of digital rights management (DRM) systems. This will include a discussion of DRM architectures, along with a consideration of how particular features and design decisions affect interoperability. Next we will consider DRM in a setting that …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
As broadband Internet becomes widely available, Peer-to-Peer (P2P) applications over the Internet become increasingly popular. One example of P2P applications, is video multicast in which, a source node streams its video to a large number of destination nodes through an overlay multicast tree consisting of peers. These overlay multicast-based applications, however, do not exploit the full bandwidth of every peer as the leaf nodes in the overlay multicast tree do not contribute their bandwidth...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Li-wei He, Thinh Nguyen
Dennis Gannon – Welcome and Workshop Kickoff Ed Lazowska – The University of Washington eScience Institute
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

There is almost a never-ending quest to push the capacity limit for wireless networks to support growing applications. Our approach to increasing the network capacity is to promote concurrent transmissions, from a single transmitter to two or more receivers. This involves applying information theoretic techniques, while taking into account dynamic traffic conditions and low level …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Commodity computer systems contain more and more processor cores and exhibit increasingly diverse architectural tradeoffs, including memory hierarchies, interconnects, instruction sets and variants, and IO configurations. Previous high-performance computing systems have scaled in specific cases, but the dynamic nature of modern client and server workloads, coupled with the impossibility of statically optimizing an OS for …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
by Microsoft Research
audio

eye 0

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

In this talk, I present Lahar, a warehousing system for a general class of imprecise, sequential data called Markovian streams. These imprecise streams are commonly used to model location sequences inferred from noisy sensors such as RFID/GPS, text inferred from spoken audio, etc. In the context of Lahar, I introduce algorithms for supporting sophisticated analytics …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
The era of increasing single-threaded application performance is long over. Application code bases must adapt to utilize multicore chips, or be forever stuck with circa 2004 performance levels. The difficulty of writing multithreaded code is well accepted: if it was easy, we would have parallelized applications long ago. One of the main challenges with writing concurrent software is debugging. Errors are often subtle, difficult to reason about and hard to reproduce. In this talk I will describe...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jim Larus, Mark Oskin
Location awareness is an important capability for mobile computing. Yet inexpensive, pervasive positioning—a requirement for wide-scale adoption of location-aware computing—has been elusive. Place Lab is designed to overcome the lack of ubiquity and high-cost in existing location sensing approaches. Place Lab is software allowing commodity laptops, PDAs and cell phones to estimate their position by listening for radio beacons such as 802.11 access points, GSM phone towers, and fixed...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John Krumm and Patrick Baudisch, Jeffrey...
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Shobana, Rick Rashid, Rico Malvar
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Coloring a k -colorable graph using k colors ( k≥ 3 ) is a notoriously hard problem. Considering average case analysis allows for better results. In this work we consider the uniform distribution over k -colorable graphs with n vertices and exactly cn edges, c greater than some sufficiently large constant. We rigorously show that all proper k -colorings of most such graphs are clustered in one cluster, and agree on all but a small, though constant, number of vertices. We also show that some...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Uri Feige, Dan Vilenchik
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

2:00 - 2:30 Olle Häggström (Chalmers) Percolation, mass transport and cluster indistinguishability 2:35 - 3:05 Yuval Peres (Microsoft) Connectivity Probability in Critical Percolation: An unpublished gem from Oded ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Wilson, Yuval Peres, Prasad Tetali,...
People like to look at images and interact with them. We will show how scanned beam technology can either display, or capture images, and that this makes it unique when compared to other display technologies such as LCD,PDP,OLED, or projection. Scanned beam is what is used in laser printers in one dimensional form. We have replaced the polygon by a MEMs device as small as a few millimeters in size that scans in two dimensions at video rates. This small size and simplicity enables a range of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Steven Bathiche and Andy Wilson, John R....
Over the last decade, design of enterprise wireless networks have gone through a radical shift. While initial wisdom pointed to a completely distributed design, increasingly more and more functions are getting aggregated into a centralized architecture. In our recent work, we have focused on four interesting aspects of designing robust enterprise wireless networks: (i) a systems approach to mitigating some of the most challenging scenarios in these wireless environments, — hidden and exposed...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jin Li, Suman Banerjee
Microsoft Research Audio
by Microsoft Research
audio

eye 2

favorite 0

comment 0

It is well known that noise can be introduced into video during capturing, storage and transmission. It is especially bad in dark regions in the video where the signal-to-noise ratio is low. Such noise is typically visually disturbing and can cause serious problem to many video coding systems such as MPEG-1/2/4, and H.261/3/4. This is because many precious bits would need to be spent to encode this undesirable noise in the video. As MPEG-2, MPEG-4, H.263 and H.264 are used widely in consumer...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jin Li, Oscar Au