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
This talk introduces the audience to a novel design methodology that addresses the correctness and reliability challenges of deep-submicron silicon. The focus is on a new design strategy, called Better Than Worst-Case design, which couples complex design components with simple robust checker mechanisms. By delegating the responsibility of correctness and reliability to the checker, it becomes possible to quickly build designs that are provably correct and that effectively address performance...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Richard Draves, Todd Austin
In his talk, Professor Leavitt will focus on the philosophical, mathematical, and psychological underpinnings of Turing's landmark work, in particular Turing's proof of the insolubility of Hilbert's 'decision problem' (in the course of which he introduced the concept of the Turing machine) and the provocative essay on artificial intelligence in which Turing asked the famous question, 'Can a machine think?' Professor Leavitt will also discuss Turing's experiences as a homosexual man in pre- and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tamara Pesik, David Leavitt
The social activity which surrounds the playing of MMO types games, like Ultima Online, Asheron’s Call or EverQuest, or first person shooter games, like Counter-Strike or Battlefield 2 has been well established. Aside from observations of game “flow,” immersion and game dynamics and construction, a more in-depth accounting is required of what pleasures and anxieties game players take away from playing computer games, either in single player or multi-player. Based on participant...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Daniel Pargman, Talmadge Wright
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

In line with the insight that “one size” of databases will not fit all application needs, the database community is currently exploring various alternatives to commodity, CPU-based system designs. One particular candidate in this trend are Field-programmable Gate Arrays (FPGAs), programmable logic chips that allow tailor-made hardware designs optimized for specific systems, applications, or even …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
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
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

The purpose of the seminar is to describe the StarSs programming model, the status of the different implementations and why we consider that it provides a global solution to the challenges raised by future processor and system architectures. StarSs is a task-based programming model where the user annotates with directives an otherwise standard sequential code …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
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
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

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
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 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
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
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

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
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
by Microsoft Research
audio

eye 0

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Recent advances in graphics processing units (GPUs) have resulted in massively parallel hardware that is easily programmable and widely available in commodity desktop computer systems. GPUs typically use single-instruction, multiple-data (SIMD) pipelines to achieve high performance with minimal area overhead. Scalar threads are grouped together into SIMD batches (sometimes referred to as warps). While SIMD is ideally suited for simple programs, recent GPUs include control flow instructions in...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Onur Mutlu, Tor Aamodt
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

The Mars Exploration Rovers are searching for answers about the history of water on Mars. Finding those answers will help scientists determine if life ever was on the Red Planet. The rovers, which landed on Mars last year, have driven over more than three miles of Martian terrain, including areas never before seen on Earth. Come see picture from Mars and learn how these incredible machines were developed, as well as what else is in store for future Mars missions. ©2005 Microsoft Corporation....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Steven Shafer, Mark Maimone
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

(Joint work with Svetlozar Nestorov, Steve Tuecke, and others) Research and development are becoming increasingly data driven and collaborative. However, taking a systems-level view of the knowledge production process, we find that progress is often hindered by logistical difficulties relating to data access, analysis, discovery, interpretation, and sharing. I argue that many of these difficulties can be overcome by creating an open analytics environment, a hardware +software 'cloud' into which...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Daron Green, Ian Foster
Microsoft Research Audio
audio

eye 4

favorite 0

comment 0

Despite decades of research in fault tolerance, commodity operating systems, such as Windows and Linux, continue to crash. In this talk, I will describe a new reliability subsystem for operating systems that prevents the most common cause of crashes, device driver failures, without requiring changes to drivers themselves. To date, the subsystem has been used in Linux to prevent system crashes in the presence of driver failures, recover failed drivers transparently to the OS and applications,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Galen Hunt, Michael Swift
Microsoft Research Audio
audio

eye 11

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Gino Sorcinelli
This talk will describe the work in image, video and multimedia processing carried out at Multimedia Research Lab at Ryerson University. Our work focuses on four topics: human computer interaction, streaming media, indexing and retrieval, and bioinformatics. I will first give a brief introduction on these topics. I will then present two recent projects: Bimodal human emotion recognition. We investaged language/speaker independent human emotion recognition using audiovisual cues and different...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Yong Rui, Ling Guan
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

How can a monoplist seller use social network effects to increase revenue earned? We identify a family of strategies called 'influence and exploit' strategies that are easy to implement, easy to optimize over and approximately optimal. Based on a paper that will appear in WWW 08. This was work, jointly with Jason Hartline and Vahab Mirrokni (MSR Redmond), while Mukund was an intern at MSR. ©2008 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Vahab MirrokniBanadaki, Mukund...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mark Lewin, Kathrin Berg, Judith Bishop
The Cornell project is creating tools for research on social and information networks based on a largely untapped dataset: the Internet Archive's 40-billion page collection of Web pages. These snapshots of the Web have been captured and archived every two months for nearly ten years. The project will eventually make very large portions of this massive collection widely accessible for social science research. The flood of available on-line information – from corporate web pages to news groups...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Marc Smith, Michael Macy
Context-free languages combine expressiveness with polynomial parsing, making them very appealing for practical applications. In fact, they are possibly the most widely used class of languages in Computer Science. Thus, models of computation which slightly extend context-free models, without losing parsing efficiency, seem to have great potential for applications in fields such as Programming Languages, Formal Verification, Computational Linguistics, and Computational Biology, and are therefore...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Yuri Gurevich, Tamar Aizikowitz
How do you make sure you can see and understand the critical social processes of your customers-both the millions who have adapted to the emerging social age and the millions who haven't yet made this change? The way in which you and others understand and automate our social processes will shape human beings for centuries: not just your children or your grandchildren but whole societies. Each social age automates the prior age: during the Agricultural Revolution with farming, we 'automated'...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tamara Pesik, Mary Ann Allison
A surge of recent research in machine learning and statistics has developed new techniques for finding patterns of words in document collections using hierarchical probabilistic models. These models are called 'topic models' because the word patterns often reflect the underlying topics that are combined to form the documents; however topic models also naturally apply to such data as images and biological sequences. After reviewing the basics of topic modeling, I will describe two related lines...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Heckerman, David Blei
Microsoft Research Audio
audio

eye 4

favorite 0

comment 0

Concurrency in user applications is on the rise. Modern computers have multiple hardware threads per processor and multiple processors per chip, each of which may switch to a different software thread many times per second. Applications of the future will be heavily multithreaded. My research aims to make such programs easier to write and more resilient to the performance programs historically caused by preemption. After surveying work in several areas (including preemption-tolerant locks and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jim Larus, William N. Scherer III
Microsoft Research Audio
audio

eye 6

favorite 0

comment 0

Software errors cost the US economy billions of dollars each year. According to reasonable estimates, a third of the cost can be saved through the use of enhanced tools for software quality. My dissertation addresses a key challenge in software verification: how to analyze programs that perform destructive manipulation of linked (or recursive) data structures. I applied the concept of abstraction refinement to the problem of automating shape analysis, static analysis that establishes properties...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Shaz Qadeer, Alexey Loginov
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

Most current commercial and research efforts focus on making VoIP work as well as the current landline and mobile phone, by improving aspects from QoS to security. As important as these are, it is important to move beyond functional parity with 125-year old technology. Traditionally, the natural next step beyond telephony was adding video, despite a fifty year string of failures. However, what has proven to be far more successful is adding meta data and facilitating user control. In this talk,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Victor Bahl, Henning Schulzrinne
Microsoft Research Audio
audio

eye 9

favorite 0

comment 0

In recent years, the Internet has experienced an astronomical increase in the use of specialized content delivery systems, such as peer-to-peer file-sharing systems (e.g., Kazaa, Gnutella, or Napster) and content delivery networks (e.g., Akamai). The sudden popularity of peer-to-peer file-sharing systems has resulted in a flurry of research activity into novel peer-to-peer system designs. Because these systems: (1) are fully distributed, without any infrastructure that can be directly measured,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mike Jones, Stefan Saroiu
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

As more of our activities are carried out online, technologies for protecting our privacy are becoming increasingly important. I will discuss one such technology – anonymity – in the context of peer-to-peer systems. To begin, I will talk about new techniques to study anonymity in this context. Anonymity in existing p2p systems has only been analyzed with respect to known attacks, while more general information-theoretic metrics have only been applied to small-scale systems. I show how to...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Helen Wang, Nikita Borisov
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
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

The most widely used concurrent software techniques, which are based on threads, monitors (or approximations to monitors), and semaphores, yield incomprehensible and untestable software. Bugs due to race conditions, timing unpredictability, and potential deadlocks can go undetected for a very long time. Unexpected interactions between even loosely coupled software components can destabilize systems. Yet increased parallelism in general-purpose computing (particularly multicore systems),...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Shaz Qadeer, Edward A. Lee
Microsoft Research Audio
audio

eye 19

favorite 0

comment 0

This is the story of two people playing chess in a smoky café in 1916 in Zurich, Switzerland. The two people are Tristan Tzara, the founder of Dada, a radical art movement and V.I. Lenin, the architect of the Russian Revolution. And it’s the most important chess game ever played, because the world is never going to be the same when these guys get up from the table. Tzara goes on to change the look and meaning of the new century through poetry, art, paradox, absurdity, laughter, abolishing...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley, Andre Codrescu
In this talk, we discuss the widespread use of Web search engines and its potential impact on the ecology of the Web. Recent studies show that a significant portion of Web accesses are referred by search engines. Furthermore, the Web-search market is increasingly dominated by a few key players. What are the implications of this heavy reliance of Web users on search engines in their pursuit of information? For example, given that search engines return currently “popular” pages at the top of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Marc Najork, Junghoo Cho
Microsoft Research Audio
audio

eye 5

favorite 0

comment 0

One thing which will be explained is the evaluation of a determinant originally stated by Sylvester and rediscovered by Mark Kac. The determinant is tridiagonal with x on the diagonal, 1,2,...,N above the diagonal, and N,N-1,...,1 below the diagonal. The polynomials responsible for this evaluation are Krawtchouk, although Kac was unaware that orthogonal polynomials were behind this and Sylvester just stated the values of this determinant for N=1,2,3,4,5,6 and said that the obvious rule...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Henry Cohn, Richard Askey
The elements are what we, and everything around us, are made of. But how many elements has anyone actually seen in pure, uncombined form? Based on years of research and photography Gray has created the most complete and visually arresting representation available to the naked eye of every atom in the universe. Organized in order of appearance on the periodic table, each element is represented in a full color photograph, along with facts, figures and stories of the elements as well as data on...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley, Theo Gray
'Secure Computation' has been a classic and central question in modern cryptography with a large set of potential applications.Mining large genomic databases, private scientific computation, and studying properties of shared networks are just a few examples.Unfortunately, the majority of the constructions in this area have not made their way into practice, primarily due to their inefficiency. In this talk, I first outline three different approaches toward designing more practical protocols, and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kristin Lauter, Payman Mohassel
Collaboration is an important part of nearly all work and educational settings. In practice, however, collaboration is rarely perfect; numerous problems arise, ranging from social loafing to coordination losses. In this talk, I show how a multidisciplinary approach can help in the design of collaborative technologies. For example, in designing IRC Français, I drew on the educational literature to develop a chat-style environment for foreign language learning. Once placed in the classroom,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Danyel Fisher, Jim Hudson
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Despite the best efforts of programmers, programs still ship with bugs. Many of these bugs manifest as anomalies the heap. This talk discusses two low-overhead synergistic techniques for discovering heap anomalies by exploiting the underlying runtime system. The first, dynamic object sampling, is a technique for selectively tagging objects with characteristics. Summarization graphs provide a compact representation of collecting heap characteristics. We show that these techniques can stand alone...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Bjarne Steensgaard, Maria Jump
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 all workloads and hardware variants pose serious challenges for operating...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Galen Hunt, Andrew Baumann
The ability to prove equivalence of successive, closely-related versions of a program can be useful for maintaining backward compatibility. This problem has the potential of being easier in practice than functional verification for at least two reasons: First, it circumvents the problem of specifying what the program should do; Second, in many cases it is computationally easier, because it offers various opportunities for abstraction and decomposition that are only relevant in this context. I...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Shuvendu Lahiri, Ofer Strichman
Microsoft Research Audio
by Microsoft Research
audio

eye 2

favorite 0

comment 0

Network games play a fundamental role in understanding behaviour in many domains, ranging from communication networks through markets to social networks. In this talk we will study in which individual buyers and sellers trade through intermediaries. Typically, not all buyers and sellers have access to the same intermediaries, and they trade at correspondingly different prices that reflect their relative amounts of power in the market. We model this phenomenon using a game in which buyers,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Chayes, Eva Tardos
Microsoft Research Audio
audio

eye 7

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dan Fay, Jim Gray
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

9:30 - 10:00 Omer Angel (U. British Columbia) Random planar maps and their limits 10:05 - 10:35 Michael Freedman (Microsoft) Random triangulations as dynamical variables in quantum mechanical models ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Wilson, Omer Angel, Rico Malvar,...
Solar energy will be the cheapest source of energy in nearly all markets and locations because PV (photovoltaic) cells can bypass the aging and fragile electricity grid and deliver its power to the end user, fundamentally changing the underlying economics of energy. As the scale of PV production increases and costs continue to decline at historic rates, demand for PV electricity will outpace supply of systems for years to come. Yet, the shift from fossil fuels to solar energy will take place...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts and Kirsten Wiley, Travis...
Bilingual word alignment, the task of finding word-to-word connections between a sentence and its translation, is an important part of knowledge acquisition for statistical machine translation. An Inversion Transduction Grammar, or ITG, provides an efficient algorithm to align a bilingual sentence pair, by simultaneously parsing the two sentences. However, the simple bracketing grammar usually employed in ITG parsing has no linguistic content. We investigate two methods to inform the ITG parser...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Chris Quirk, Colin Cherry
Network visualization has been a lively topic for a half century, but the intense challenges from many facets of this problem demand diverse solutions. While the popular force-directed approaches produce appealing presentations for websites and print, their benefits are limited to showing macro features such as clusters. Interactive approaches that give users control of node and link visibility enable them to make more fine-grained analyses that lead to important insights about relationships...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Marc Smith, Ben Shneiderman
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
Does place matter for digital information? If so, how? Research points to the importance of 'place-like' senses of direction, context, connection and control when managing digital information. Support for place in the Personal Project Planner prototype begins with the idea that relevant information can be located with reference to a simple planning document. This document works as a light-weight, editable overlay to existing applications and the stores of information managed by these...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mary Czerwinski, William Jones
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

As modern computer systems grow in both size and complexity, so has the need for automatic analysis and computer-aided administration of these systems. With recent booms in computing power and efficient algorithms, statistical machine learning methods have become increasingly practical for dealing with the deluge of data generated by these systems. In this talk, I present statistical diagnostic platforms for several large-scale systems, focusing on the problem of selecting fault-related...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Yi-Min Wang, Alice Zheng
Availability of broad-coverage knowledge repositories can potentially enable the next generation of artificial intelligence and natural language understanding applications. An emerging approach to constructing such repositories is by collecting them from volunteer contributors. Such mass collaboration approach allows posing finely constrained or extensively contextual questions as well as extensive validation of knowledge. However, it is most effective only if we can figure out how to guide and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Matthew Richardson, Timothy Chklovski
Joseph Priestly was a British scientist and theologian, a protégé’ of Benjamin Franklin, friend of Thomas Jefferson and an 18th century radical thinker who played pivotal roles in the invention of ecosystem science and the discovery of oxygen. Priestly also helped found the Unitarian Church in England and deeply influenced the Founding Fathers and their emerging vision of a separate church and state. What makes Priestly and his peers so fascinating is that they were on the cusp of multiple...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts, Kirsten Wiley, Steven...
Web applications enable much of today's online business including banking,shopping, university admissions, and various governmental activities.Anyone with a web browser can access them, and the data they managetypically has significant value both to the users and to the serviceproviders. Cross-site scripting (XSS) and SQL injection are classes ofattacks in which an attacker interacts with a client or database,respectively, through vulnerabilities in the server thereby gaining thetrust level of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Trishul Chilmbi, Gary Wassermann
The field of computer forensics seeks to help investigators reconstruct what happened during a computer intrusion. Did an attacker break in, and if so, how? What havoc did the attacker wreak after breaking in? Tools that help investigators answer these types of questions are still quite primitive and are often hindered by incomplete or incorrect information. Virtual machines can enable more-powerful forensic analysis through techniques such as replaying a computer's instruction stream and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Yi-Min Wang, Peter Chen
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

Distributed Hash Tables (DHTs) are useful tools for building large scale distributed systems. DHTs provide a hash-table-like interface to map a key to its responsible node among the current set of participating nodes. Many techniques have been developed to reduce DHT lookup latency: proximity routing, parallel lookups, complete routing state, aggressive routing table stabilization and others. While all techniques reduce latency, none is free and they all use bandwidth. Evaluations based solely...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jitu Padhye, Jinyang Li
In 1983, Aldous proved that randomization can speedup local search. For example, it reduces the query complexity of local search over grid 1:n] d from Theta (n d-1 ) to O (n d/2 ). It remains open whether randomization helps fixed-point computation. Inspired by this problem and recent advances on equilibrium computation, we have been fascinated by the following question: Is a fixed-point or an equilibrium fundamentally harder to find than a local optimum? In this talk, I will present a tight...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Chayes, Shang-Hua Teng
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Homology search is a key tool for understanding the role, structure, and biochemical function of genomic sequences. BLAST is the most popular homology search tool and is used to run millions of queries each day. However, evaluating such queries is slow and can take minutes on a modern workstation. Therefore, continuing evolution of BLAST - by improving its algorithms and optimisations - is essential to improve search times in the face of exponentially-increasing collection sizes. In this talk I...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Susan Dumais, Michael Cameron
Microsoft Research Audio
by Microsoft Research
audio

eye 4

favorite 0

comment 0

Object-oriented design patterns have been one of the most important and successful ideas in software design over the last ten years, and have been well adopted both in industry and academia. A number of open research problems remain regarding patterns, however, including the differences between patterns, variant forms of common patterns, the naming of patterns, the organisation of collections of patterns, the relationships between patterns, and the relationship between objects, designs, and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Rustan Leino, James Noble
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

I will describe progress in IP network traffic matrix inference, arguably one of the most important technical problems in the engineering and management of large-scale IP networks. In particular, I will discuss tomo-gravity (how to compute accurate traffic matrices for large ISPs in seconds), and anomography (how to accurately detect anomalies, at network-level, for large ISPs in seconds). The methods rely only on ubiquitously available link load and configuration data. ©2006 Microsoft...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Victor Bahl, Albert Greenberg
ONE MILLION. That is the number of ideas Toyota implements each year, and those ideas come from every level in the organization, creating an engine of innovation, which is the greatest source of their competitive advantage. Perhaps this is why Toyota is one of the world’s ten most profitable companies, with a market value of 150 billion plus, more than GM, Ford, Honda, and Volkswagen combined. Toyota’s formula for the “elegant solution” is driven by three principles: Ingenuity in Craft,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts, Matthew May
Microsoft Research Audio
audio

eye 8

favorite 0

comment 0

The Space Elevator is a radical technology for accessing space. The concept was first published in 1960 and was subsequently popularized in science fiction stories. After the discovery of carbon nanotubes in 1991 and subsequent measurements of their strength, the Space Elevator concept moved from the realm of science fiction to science possibility. Now there are small groups of researchers and enthusiasts working to develop the concept and further the development of the Space Elevator. What is...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts and Kirsten Wiley, Bryan...
Current spoken dialogue systems (SDS) typically employ hand-crafted decision networks or flow-charts to determine what action to take at each point in a conversation. The result is a system which is fragile to speech recognition errors and which is unable to adapt and learn from experience. There are two key features needed to build robust and adaptable spoken dialogue systems. Firstly, the system must have an explicit mechanism for modelling uncertainty and, secondly, the system must have an...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tim Paek, Steve Young
Microsoft Research Audio
audio

eye 6

favorite 0

comment 0

What do global warming, a scientific instrument weighing about 4500 tons and bill collection have in common? The once Berkeley 'hippie chick' turned Software Architect Catharine van Ingen. Catharine has a wealth of experience in hardware, including work with the Alpha machine and MIPS processor teams, and in industrial-strength software for algorithms used to manage water flows, logging data from particle accelerator detectors, and buying Mickey Mouse watches over the Internet. On Behind the...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Sisti, Catharine van Ingen
Detecting and correcting errors before run-time is increasingly important in today's ubiquitous computing environment. Decision procedures for first-order logics are widely applicable in design verification and program analysis. However, as existing procedures do not scale up, verification methods sacrifice modeling precision for scalability. Imprecise modeling often results in numerous false alarms and the inability to verify properties that depend on data or timing, in addition to control. I...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tom Ball, Sanjit A. Seshia
My research focuses on the problems of reconstruction and visualization of three-dimensional objects from images or video streams. I envision the an end-to-end light portal that can capture and 're-enact' real-world objects or events in a different time or space, as if they were being 'tele-ported' right in front of the viewers. While a full realization of such a light-portal is many years away, I will present some progresses we have made during the last few years. More specifically, I will...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Zhengyou Zhang, Ruigang Yang
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

In the framework of model based multidimensional signal processing this lecture deals with a derivation of new parametric models. In the first part we will provide with the limitations of the AR models in the case of signals with periodicities and propose the so called sine-AR models exercised in various real signals [1].In the second part we provide the limitations of the AR models in the 2-D case, an extension of the Schur-Cohn stability test to the 2-D case [7][8][9] and propose new models...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jin Li, Mohamed Najim
Microsoft Research Audio
by Microsoft Research
audio

eye 3

favorite 1

comment 0

Azure Academic Pilot – Krishna Kumar, Microsoft
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