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
Brilliance is more than just being smart – when you are Brilliant you are approaching your professional and personal life energized, in control and achieving results never imagined. When you are Brilliant, you go from operating as a human doing to human being. In this presentation participants will explore: The Principles of Brilliance - the integration of an individual’s intelligences, personality, energy and passion. How to connect your personal passion with your work-life achieve genuine...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tamara Pesik, Lindsay Andreott, Brian...
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 4

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...
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
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 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
The polar RF transmitter architecture, Kahn Envelope Elimination and Restoration (EER), aims at achieving linearity, while amplifying non-constant envelope signals efficiently by means of switch mode amplification. A Delta-Sigma Modulator (??) is proposed to be used before the switch mode amplifier of the envelope signal. Due to its noise shaping characteristics, sharp analog filtering is compulsory afterwards. As a consequence, spectral regrowth appears in the output signal fed to antenna....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Darko Kirovski, Jorge Mártires
Dynamic analyses, such as testing and profiling, play a key role in state-of-art approaches to software quality assurance (QA). With a few rare, (but notable) exceptions, these analyses are performed in-house, on developer platforms, using developer-provided input workloads. The shortcomings of focusing on in-house QA efforts alone include increased cost and schedule for extensive QA activities and misleading results when the input test-cases and workload differs from actual workloads or when...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tom Ball, Adam Porter
Standing at the crossroads of the ActiveCampus Project and the Campus of the Future Project, it is appropriate to pause and consider what we've learned, and what that foretells. I will argue that a new feature of developing everyday software is 'failure as a normal mode of operation', and that this implies a need for advances in both software development techniques and application design methods. Key lessons will be drawn from several of the projects that I've conducted over the last five...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Evelyne Viegas, William Griswold
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mark Lewin, Andre Santos
Microsoft Research Audio
audio

eye 4

favorite 0

comment 0

There are many indicators that people feel technology is speeding up and complicating their lives. In response, many individuals reject certain computing and communications technologies when given the choice (e.g., for use in their homes). Current research in ubiquitous computing has a tendency to fall into this same trap, offering overly complex technology supporting new functions with little value to users. The Digital Simplicity project instead offers a different value proposition: take this...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mary Czerwinski, James Landay
Microsoft Research Audio
audio

eye 3

favorite 1

comment 0

Adaptive System Design Understanding human learning on a complex navigation task, Building models of conflict evolution from events data extracted from wire reports, Building regulatory cellular networks from high-throughput biological data Designing customized optimization sequences for compiling programs ©2006 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John Nordlinger, Devika Subramanian
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Programming language tools offer powerful mechanisms for improving the safety and reliability of systems code. This talk presents Deputy, a type system and compiler for enforcing type and memory safety in real-world C programs such as Linux device drivers and the Linux kernel itself. Deputy's type system uses dependent types, a language mechanism that allows programmers to describe common C idioms in an intuitive fashion. The Deputy project offers contributions to both systems and programming...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Chris Hawblitzel, Jeremy Condit
Microsoft Research Audio
audio

eye 5

favorite 0

comment 0

Knowledge is power: but most knowledge is tied up in text. How then do one billion illiterate adults in the world access knowledge crucial to preventing disease, creating economic opportunity, and defending their political and human rights? In response to this problem Literacy Bridge was founded to empower children and adults with tools for scalable knowledge sharing and literacy learning. The Talking Book Project is Literacy Bridge’s major program, developing new and affordable digital audio...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley, Cliff Schmidt
Can the Internet help to heal a nation? Can a cybercafé change the economics of a rural village? Why do most rural internet projects in Africa and Asia seem to fail? My research focuses on information and communication technologies for social, economic, and political development. In particular I study mobile and internet-enabled services and their design, impact, and importance within low-income countries of Africa and Asia. In this talk I will overview two on-going projects: In Liberia we...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kentaro Toyama, Michael L. Best
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

The Internet has seen a tremendous growth since its inception four decades ago. With its increasing importance, there has been a growing emphasis on improving the reliability of the infrastructure. One approach to delivering such reliability is for design engineers, network administrators and researchers to stress test potential solutions against a wide variety of deployment scenarios. For instance, web hosting services would wish to ensure that they can deliver target levels of performance and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John Dunagan, Kashi V. Vishwanath
Researchers of child language have typically assumed that the acquisition of grammatical morphemes provides evidence of syntactic competence. However, experimental research by Gerken (1996) and colleagues suggests that the variable appearance of some grammatical morphemes may be conditioned by phonological factors. This talk reviews some of our recent corpus research on English and French, showing that 2-year-olds are much more likely to produce grammatical morphemes such as determiners and 3rd...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Hisami Suzuki, Katherine Demuth
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
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 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
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
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
From the earliest days of portable computing, entrepreneurs and designers have pushed forward relentlessly in a quest to create the perfect device. Their efforts have produced a few fabulous successes and many failures, but they never give up-driven by the basic rule: innovate or die. By tracing the history of this quest, we can learn many valuable lessons for people in any industry: Innovate constantly Create design principles that are timeless Integrate design and engineering Improve quality...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts, Kirsten Wiley, Steve Hamm
We are experiencing a new Social Web, where people share, communicate, commiserate, and conflict with each other. As evidenced by systems like Wikipedia, twitter, and del.icio.us, these environments are turning people into social information foragers and sharers. Groups interact to resolve conflicts and jointly make sense of topic areas from 'Obama vs. Clinton' to 'Islam.' PARC's Augmented Social Cognition researchers – who come from cognitive psychology, computer science, HCI, CSCW, and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mary Czerwinski, Ed Chi
We present a novel statistical estimation framework for structured models based on the large margin principle underlying support vector machines. We consider standard probabilistic models, such as Markov networks (undirected graphical models) and context free grammars as well as less conventional, combinatorial models such as weighted graph-cuts and matchings. Our framework results in several efficient learning formulations for complex prediction tasks. Fundamentally, we rely on the expressive...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Joshua Goodman, Ben Taskar
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

One of the key benefits of XML is its ability to represent a mix of structured and text data. Querying XML is a well-explored topic with powerful database-style query languages such as XPath/XQuery set to become W3C standards. However, these languages are not powerful enough to express full-text search queries. For this reason, we developed TeXQuery, a full-text extension to XPath/XQuery which provides a rich set of fully composable full-text search primitives, such as keyword and Boolean...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Phil Bernstein, Sihem Amer-Yahia
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...
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
Microsoft Research Audio
audio

eye 4

favorite 0

comment 0

Redundancy in large text collections, such as the web, creates both problems and opportunities for natural language systems. On the one hand, the presence of numerous sources conveying the same information causes difficulties for end users of search engines and news providers; they must read the same information over and over again. On the other hand, redundancy can be exploited to identify important and accurate information for applications such as summarization and question answering....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Lucy Vanderwende, Kathy McKeown
Today, we are increasingly building large and complex systems whose workings we do not understand, and this lack of understanding translates into systems that are hard to manage and have low availability. The problem is that there is a disconnect between our high-level goals for the system and the low-level visibility and control we have into and over it. To keep a system running, operators must wade through the minutiae of its low-level architecture and implementation. This is not unlike...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Yi-Min Wang, Emre Kiciman
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
Choosing the most appropriate optimization phase ordering has been a long standing problem in compiler optimizations. For most applications or functions different orders of applying optimization phases by a compiler typically result in different code generated, with potentially significant performance differences. At the same time it is universally acknowledged that a single ordering of optimization phases will not produce the best code for all functions or applications. Exhaustive evaluation...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Bjarne Steensgaard, Prasad A. Kulkarni
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

Most models for online advertising assume that each ad has an inherent clickthrough-rate/conversion-rate, regardless of other ads served in the same session. This ignores an important externality effect: as the advertising audience has a limited attention span, a high-quality ad on a page can detract attention from other ads on the same page. In this talk, we will describe two models for online advertising that take this effect into account, and discuss the computational complexity of the...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kamal Jain, Mohammad Mahdian
Users share an increasing marginal cost technology. A cost sharing method specifies non negative and non transferable cost shares covering costs. We look at the worst surplus gain (relative to the efficient surplus) in any Nash equilibrium when preferences are convex and quasi-linear, and otherwise arbitrary. We compare four popular methods: average cost pricing, serial cost sharing, marginal cost pricing and incremental cost sharing. No matter what the (convex) cost function, the average cost...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Nicole Immorlica, Herve Moulin
In current practice, only rarely precise and reliable documentation of a system's behaviour is produced during its development. Revisions and last minute changes invalidate design sketches, and while systems are updated in the maintenance cycle, often their implementation documentation is not. Regular extrapolation aims at providing descriptions of systems or system aspects a posteriori in a largely automatic way. These descriptions come in the form of models which offer the possibility of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jakob Rehof, Bernhard Steffen
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

Research in summarization has been handicapped by a lack of agreement on how to generate a standard summary (which can serve as a reference in the evaluation of alternative approaches). Part of the problem rests in disagreement between different humans on what constitutes a single good summary. We propose an alternate approach that dispenses with the need for a global reference and instead focuses on the ability of a summarizer to rapidly learn how an individual human summarizes material....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Alex Acero, Alexander Rudnicky
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

I will discuss the problem of cutting the (discrete or continuous) d-dimensional torus economically, so that no nontrivial cycle remains. This improves, simplifies and/or unifies results of Bollobas, Kindler, Leader and O'Donnell, of Raz and of Kindler, O'Donnell, Rao and Wigderson. More formal, detailed abstract(s) appear in http://www.math.tau.ac.il/~nogaa/PDFS/torus3.pdf and in http://www.math.tau.ac.il/~nogaa/PDFS/torusone1.pdf. Joint work with Bo'az Klartag. ©2009 Microsoft Corporation....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Eyal Lubetzky, Noga Alon
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

MY YEAR IN IRAQ: The Struggle to Build a Future of Hope is the only senior insider's perspective on the crucial period following the collapse of Saddam Hussein's regime. Told with unrelenting candor by the man President Bush assigned to rebuild the devastated country, Bremer's unique memoir is an unforgettable first-hand account of danger, chaos, and daunting challenge. As he takes us from the ancient lanes in the holy city of Najaf to the White House Situation Room and the Pentagon E-Ring,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Paul Bremer
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

I will present a General Linear Camera (GLC) model that unifies many previous camera models into a single representation. The GLC model describes all perspective (pinhole), orthographic, and many multiperspective (including pushbroom and two-slit) cameras, as well as epipolar plane images. It also includes three new, previously unexplored, multiperspective linear cameras. The GLC model is both general and linear in the sense that, given any vector space where rays are represented as points, it...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Rick Szeliski, Leonard McMillan
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Internet distance prediction provides proximity information without extensive network probings. Recent studies have revealed that the quality of existing prediction mechanisms is short of being satisfactory from the application's perspective. In this talk, we first study the impact of uneven prediction accuracy across different distance ranges and propose two new metrics that highlight the interference between predicting short and long links. We further investigate how to improve the distance...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jin Li, Rongmei Zhang
Microsoft Research Audio
audio

eye 6

favorite 0

comment 0

What is virtuosity in technology based art? Will advanced emulations make screen based computing obsolete? Why do we need a PhD in the digital and experimental arts? Could art be critical for the evolution of future computing? Creative arts research is in an ongoing state of becoming. Artists, engineers, designers and scientists are collaborating in unique ways to create digitally-realized images, sounds, performances, and installations never before heard, seen, or experienced. Cutting edge...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tamara Pesik, Richard Karpen, Shawn...
A fascinating exploration of the relationship between music and the mind—and the role of melodies in shaping our lives Whether you load your iPod with Bach or Bono, music has a significant role in your life—even if you never realized it. Why does music evoke such powerful moods? The answers are at last becoming clear, thanks to revolutionary neuroscience and the emerging field of evolutionary psychology. Levitin unravels a host of mysteries that affect everything from pop culture to our...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts and Tamara Pesik, Daniel...
The everyday interactions which we carry out with computers are constrained by our own perceptual and motor capabilities that are associated with the technology being used. To improve our overall experiences with both contemporary and emerging technological platforms there are two important steps which must be respected. 1) Understanding the nature of the low-level capabilities of the human user associated with the technology at use. 2) Designing interaction techniques and user interfaces based...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Ken Hinckley, Tovi Grossman
Market-based electronic systems are becoming increasingly pervasive. When we design new markets, we often use economic theory to guide our design decisions. However, existing economics research has neglected the importance of the user interfaces via which individuals interact with markets. Different user interfaces induce different (psychological) user models which in turn determine how users understand and interact with a market. In networked systems, small changes to the UI can have huge...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mary Czerwinski and Kamal Jain, Sven...
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

As software and systems become increasingly complex, the task of debugging also becomes increasingly difficult. Manual diagnosis can require sifting through millions of lines of code and output logs. In addition, large systems contain many components, each complex on its own, and often interacting in unexpected ways. I present a case study illustrating how statistical machine learning algorithms, along with appropriate system instrumentation, can aid in failure diagnosis. I propose a...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John Platt, Alice Zheng
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

At the Interactive Systems Laboratories, our efforts have centered on human communications and on how computer systems can mediate or facilitate human communication. We have recently launched the 'international Center for Advanced Communication Technologies' or 'interACT'. It's educational mission is to facilitate exchanges and opportunities for students to do scientific work in international teams, while carrying out research on advanced communication technologies that facilitate and improve...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Alex Acero, Alex Waibel
Many emerging mobile computing applications need to know the physical location of things so that they can record them and report them to us: Where did I take these photographs? Is anyone on my buddy-list nearby? What is the best route to the restaurant given current traffic? Answering these and similar questions has inspired development of many systems to locate people, devices, and other objects. Because each system solves a slightly different problem or supports different applications, they...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Feng Zhao, Jeffrey Hightower
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

Multitasking is an important part of the way we work, but serious problems result from fragmenting our work with constant interruptions and task switches. Imagine an interface that helps you maintain task focus, keep up to date with changes in secondary tasks, and smoothly transition between tasks. Glanceable peripheral displays can help with these needs by enabling users to quickly and easily monitor updates in various tasks. However, little is known about how to best design visual information...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, George Robertson, Tara Matthews
Learning experiences of the future will be multi-sensory, engage technologies and significant computational power continuously and invisibly, and will be completely engaging. The Zecosystem will offer cyber-services that incorporate science, technology, engineering, and mathematics concepts into the students’ everyday experiences seamlessly. Through this project, we expect to transform common day-to-day student activities such as gaming, eating at the cafeteria, or visiting the library into...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dan Fay, Krishna P.C. Madhavan
Consider the problem of visually finding an object in a mostly unknown space witha mobile robot. It is clear that all possible views and images cannot be examinedin a practical system. Visual attention is a complex phenomenon; we view it asa mechanism that optimizes the search processes inherent in vision. Here, we describea particular example of a practical robotic vision system that employs someof these attentive processes. We cast this as an optimization problem, i.e., optimizingthe...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Zhengyou Zhang, John K. Tsotsos
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

In a conversation, much can be sensed from the person's eye gaze—interested or uninterested, attentive or preoccupied, focused or distracted, engaged or unmindful, wanting to continue or trying to get away etc. With the advance of new eye tracking technology it might be possible to use eye-gaze information in conversations with computers. The research presented in this talk firstly investigates if there are any eye-gaze patterns present in natural dialogues that can be detected and used by a...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Eric Horvitz, Pernilla Qvarfordt
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kimberly Walters, Clay Shirky
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

The sensing, computing, communication, and actuation capabilities of wireless sensor networks are increasingly enabling us to observe and control the physical world. Along with opportunities, sensornets bring challenges to the design of systems dependability. In this talk, I will focus on the challenges in the context of messaging. In sensornets, wireless links tend to be dynamic, both temporally and spatially. Link dynamics are also subject to the impact of application properties such as...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jie Liu, Hongwei Zhang
In this talk, I will describe CitySense, a NSF-funded collaboration between Harvard University and BBN Technologies to build a city-wide wireless sensor testbed that will be open to the research community. CitySense will consist of 100 Linux-based embedded PCs outfitted with dual 802.11a/b/g radios and various sensors, mounted on streetlights and buildings across a city (our current target is Cambridge, MA). CitySense takes its cue from citywide urban mesh networking projects, but will differ...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Feng Zhao, Matt Welsh
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

Civil rights activist Kevin Cathcart, Executive Director of Lambda Legal, will provide historical overview of the Lesbian, Gay, Bisexual and Transgender (LGBT) issues that are now center stage in the national debate for marriage equality. Lambda Legal has taken a pivotal role for over 30 years in achieving full legal rights for lesbians, gay men, bisexuals, transgender people and those with HIV. In addition, Lambda Legal is deeply involved with the current marriage litigation and Kevin will...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dan Ling, Kevin Cathcart
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 2

favorite 0

comment 0

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

eye 1

favorite 0

comment 0

The ASTREE analyzer is an abstract interpretation-based static analyzer tailored to prove the absence of run time errors (division by 0, out of bounds, overflow, null pointer dereference, ...) in critical embedded synchronous software as found in earth transportation, nuclear energy, medical instrumentation and aerospace applications. Its design started in November 2001 at the Laboratoire d'Informatique of the Ecole Normale Superieure (LIENS). The ASTREE analyzer was able to prove fully...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Francesco Logozzo, Jerome Feret
The factors that harm the speech recognition results for un-tethered users are the ambient noise and the reverberation. While we have pretty sophisticated noise suppression algorithms, the de-reverberation is still an unsolved problem due to the difficulties in estimation and keeping track of the changes in the room response model. Sound capturing with microphone arrays provides partial de-reverberation and ambient noise reduction due to the better directivity. This improves the speech...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Ivan Tashev, Daniel J. Allred
Microsoft Research Audio
audio

eye 14

favorite 0

comment 0

Diverse control and measurement applications, such as mobile phone testing, process optimization, and distributed sonic arrays all require precise timing and synchronization. Designers of such systems need to understand the tradeoffs between the available timing technologies before choosing the right technology. When it comes to writing the software for the system it is often the case that the programming languages and tools either treat time as a second class citizen or worse - ignore time all...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mike Barnett, Jacob Kornerup
Microsoft Research Audio
by Microsoft Research
audio

eye 12

favorite 0

comment 0

Theoretical physicist Smolin argues that the study of physics has lost its way in the past two decades, largely because string theory has captured the imagination of both the public and some prominent physicists. There is one deep flaw he sees in string theory: no part of it has been tested and no one knows how to test it. In fact, the theory appears to come in an infinite number of versions, meaning that no experiment will ever be able to prove it false. Yet it has soaked up the lion’s share...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley and Kim Ricketts, Lee Smolin
In this talk, I'll discuss a research trajectory that we have been pursuing at Intel Research Seattle. This trajectory is 'social, mobile applications' or, perhaps more colloquially, 'applications that don't support a specific work task and can be used just about anywhere.' I'll talk through what this area of research is, the context of the work at Intel Research Seattle into large-scale location systems, and some experiments we have done, are doing, and are planning to do. A significant...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mary Czerwinski, Ian Smith
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
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
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...
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
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
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
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
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
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 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