Microsoft Research

×
330 тыс
подписчики
50.4 млн
просмотры
9 254
видео
24 Окт 2008
создан
06.09.16 58:22
Opportunities and Challenges in End-to-End Verification of Software Systems
I'll start out by taking a brief tour that covers my past experience on various projects and how those experiences shape my current view of the importance and practicality of end-to-end system
120
06.09.16 1:17:34
Computing with Selfish Agents [1/2]
Many complex systems of our day involve autonomous participants who act in their own self-interest and therefore might lie if it benefits them to do so.
56
06.09.16 1:00:56
Tools and Techniques for Prototyping Future Interactions [1/2]
User interface tools aid in the design and development of interactive systems.
49
06.09.16 1:19:40
Mathematical Sketching: A New Approach for Creating and Exploring Dynamic Illustrations
Diagrams and illustrations are often used to help explain mathematical concepts.  They are commonplace in mathematical and physics textbooks providing a form of physical intuition to otherwise
605
40
06.09.16 42:58
A learning-based approach to summarization
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).
28
06.09.16 1:01:39
Virtual machines: the ultimate tool for computer forensics
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?
566
93.8
06.09.16 1:07:20
Headwinds and Tailwinds:  Where is the U.S. economy going?
Is productivity growth a tailwind or a headwind? What are the dominant forces likely to affect economic prospects in the short run?
45
06.09.16 1:35:28
Paradigms of Worm Defense & Thoughts from an Ivory Tower
This is two presentations concatenated together: Paradigms of Worm Defense: A viable worm defense will be composed of multiple components: Automatic detection, analysis and response, prevention
20
06.09.16 58:44
Machine Learning Methods for Discovery of Regulatory Elements in Bacteria
I will present novel machine learning methods for the discovery of important DNA sequence elements encoded in bacterial genomes.
165
06.09.16 56:44
Eyes on Multimodal Interaction
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
156
06.09.16 1:13:55
From Promoter to Expression ΓÇô A Probabilistic Framework for Inferring Regulatory Mechanisms
Inferring regulatory mechanisms based on in silico analysis of regulatory elements has been the target of much research efforts in recent years.
47
06.09.16 1:15:59
Automated Reconstruction of 3D City Models from Laser Scans and Camera Images
I will present a fast approach to automated generation of textured 3D city models with both high details at ground level and complete coverage for birdΓÇÖs-eye view.
352
16.4
06.09.16 1:10:59
Bergman complexes, Coxeter arrangements, and graph associahedra
Roughly speaking, a Bergman complex of a matroid is a matroidal analogue of a tropical variety, and a positive Bergman complex of an oriented matroid is an oriented matroid analogue of a positive
377
62.3
06.09.16 1:17:56
Biomal Human Emotion Recognition and Peer Steaming Projects at  Ryerson Multimedia Research Lab
This talk will describe the work in image, video and multimedia processing carried out at Multimedia Research Lab at Ryerson University.
87
06.09.16 1:17:01
Place Lab: Device Positioning Using Radio Beacons in the Wild
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.
280
06.09.16 50:08
Cost-sharing mechanisms for Network Design
Today's Internet seamlessly connects billions of users that mostly pursue selfish motives in both, single-handed and collaborative ways.
67
06.09.16 1:07:45
Market-Based Programming Paradigms for Sensor Networks
Sensor networks present a novel programming challenge: that of achieving robust global behavior despite limited resources, varying node locations and capabilities, and changing network conditions.
50
06.09.16 1:03:08
Convex Geometry of Orbits
The talk will focus on the study of metric properties of convex bodies B and their polars B^o, where B is the convex hull of an orbit under the action of a compact group G.
245
06.09.16 59:24
The Benefit of Adaptivity in Stochastic Optimization [1/6]
Consider the Stochastic Knapsack problem where items have deterministic values but random sizes.
117
06.09.16 1:16:55
Bridging art and architecture: How emergent digital media have transformed our landscapes
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
24
06.09.16 1:24:46
Effective Use of Microsoft Word for Academic Writing
Millions of academic writers worldwide struggle with typesetting of their documents every day. Hundreds of methods, tricks, and practices evolve in different research groups.
1 581
87.5
06.09.16 1:08:48
Impala: A Middleware System for Managing Autonomic, Mobile, Wireless Sensor Networks
Impala: A Middleware System for Managing Autonomic, Mobile, Wireless Sensor Networks Sensor networks are computer systems with many sensing/compute nodes working to gather information about their
289
06.09.16 1:19:38
Transactional Coherence & Consistency
With uniprocessor systems running into ILP limits and fundamental VLSI constraints, parallel architectures provide a realistic path towards scalable performance.
202
06.09.16 1:09:04
Pathfinder/MonetDB: making XQuery scale using the relational approach
Using a relational DBMS as back-end engine for an XQuery processing system leverages relational query optimization and scalable query processing strategies provided by mature DBMS engines in the XML
131
06.09.16 55:05
ASM View of Abstract Cryptography
The computational model of cryptography views agents as PPT algorithms operating on strings.
311
103.3
06.09.16 57:15
Deterministic Network Coding by Matrix Completion
Network coding is a new research area that centers on a fundamental and practical question: How much data can be transmitted through a communication network?
208
06.09.16 1:20:44
Predicting Value from Design
Early design decisions in software projects profoundly affect both the properties and the costs of the eventual implementation.
5
06.09.16 1:24:19
Online Ascending Auctions for Gradually Expiring Items
We consider online auction mechanisms for the allocation of $M$ items that are identical to each other except for the fact that they have different expiration times, and each item must be allocated
42
06.09.16 1:18:27
Recent Progress in Group Editors and Operational Transformation Algorithms
Group editors are a classic example of Internet-based productivity applications. They allow a group of distributed human users to edit a shared multimedia document over a computer network.
397
65.8
9 276 видеоназад144далее
жизньигрыфильмывесельеавтотехномузыкаспортедаденьгистройкаохотаогородзнанияздоровьекреативдетское