2016-09-06 | Toolkit for Construction and Maintenance of Extensible Proof Search Tactics | 1:04:05 | 26 | |
|
2016-09-06 | ME++ | 1:01:14 | 190 | |
|
2016-09-06 | Structural Comparison of Executable Objects | 1:00:09 | 632 | |
|
2016-09-06 | Indifference is Death: Responsibility, Leadership, & Innovation | 1:24:09 | 91 | |
|
2016-09-06 | TQFTs and tight contact structures on 3-manifolds       | 1:10:09 | 91 | |
|
2016-09-06 | Wireless Embedded Networks/The Ecosystem and Cool Challenges | 1:10:07 | 18 | |
|
2016-09-06 | Data Mining & Machine Learning to empower business strategy | 50:53 | 53 | |
|
2016-09-06 | Some uses of orthogonal polynomials | 1:05:58 | 2,084 | |
|
2016-09-06 | Approximation Algorithms for Embedding with Extra Information and Ordinal Relaxation | 1:10:20 | 326 | Guide |
|
2016-09-06 | Evaluating Retrieval System Effectiveness | 1:11:30 | 1,941 | |
|
2016-09-06 | Exploiting the Transients of Adaptation for RoQ Attacks on Internet Resources | 1:07:33 | 40 | |
|
2016-09-06 | Specification-Based Annotation Inference | 1:07:51 | 57 | |
|
2016-09-06 | Emotion Recognition in Speech Signal: Experimental Study, Development and Applications | 1:23:00 | 691 | |
|
2016-09-06 | Text summarization: News and Beyond | 1:25:38 | 281 | |
|
2016-09-06 | Learning and Inferring Transportation Routines | 53:16 | 58 | |
|
2016-09-06 | Data Streaming Algorithms for Efficient and Accurate Estimation of Flow Size Distribution | 59:26 | 405 | |
|
2016-09-06 | Raising the Bar: Integrity and Passion in Life and Business: The Story of Clif Bar, Inc. | 47:35 | 619 | |
|
2016-09-06 | Revelationary Computing, Proactive Displays and The Experience UbiComp Project | 1:12:34 | 12 | Let's Play |
|
2016-09-06 | The Design of A Formal Property-Specification Language | 1:13:09 | 529 | |
|
2016-09-06 | Runtime Refinement Checking for Concurrent Data Structures | 53:51 | 68 | |
|
2016-09-06 | Data Harvesting: A Random Coding Approach to Rapid Dissemination and Efficient Storage of Data | 1:03:02 | 25 | |
|
2016-09-06 | Lost in Space: The Fall of NASA and the Dream of a New Space Age | 57:58 | 144 | |
|
2016-09-06 | Solving Geometric Matching Problems using Interval Arithmetic Optimization | 1:01:35 | 300 | |
|
2016-09-06 | How to Disembed a Program | 1:22:37 | 21 | Tutorial |
|
2016-09-06 | Laboratory for Recognition and Organization of Speech | 57:43 | 43 | |
|
2016-09-06 | The (Mis)Behavior of Markets: A Fractal View of Risk, Ruin and Return | 1:13:08 | 25,996 | |
|
2016-09-06 | Uncovering Semantic Similarities between Query Terms | 44:57 | 290 | |
|
2016-09-06 | 50/50 by 2020 -- Living Anita's vision and the importance of gender equity in technology | 1:09:01 | 68 | Vlog |
|
2016-09-06 | Online Auctions, Strategyproofness and Random Valuations | 1:23:52 | 144 | |
|
2016-09-06 | Citrine Smart Clipboard, WhyLine Interrogative Debugging, EdgeWrite Text Entry, and Pebbles PocketPC | 1:16:32 | 48 | |
|
2016-09-06 | Because it is there: Kili the Right Way | 55:50 | 10 | |
|
2016-09-06 | Music-specific audio content analysis | 1:20:13 | 274 | |
|
2016-09-06 | Hierarchical Dirichlet Processes | 1:16:16 | 3,576 | |
|
2016-09-06 | Phase-Aware Program Profiling | 1:02:30 | 19 | |
|
2016-09-06 | Collaborative Algorithms for a Class of Clustered Wireless Networks | 1:09:55 | 47 | |
|
2016-09-06 | Computer Consciousness | 1:11:28 | 112 | |
|
2016-09-06 | RAPUNSEL & CREOL - Games that Teach Kids to Program | 1:25:22 | 135 | |
|
2016-09-06 | Checking well-definedness of XQueries | 47:48 | 8 | |
|
2016-09-06 | The Role of Template Engines in Code Generation | 1:06:49 | 833 | |
|
2016-09-06 | Anomalous Diffusion and Polya Recurrence | 1:00:34 | 166 | |
|
2016-09-06 | Designing for Intimacy: Interaction Research at the Human Communication Technologies Laboratory | 1:05:10 | 124 | |
|
2016-09-06 | Breaking the Frame: Novel Strategies for Interactive Computer Graphics [1/33] | 1:03:03 | 17 | |
|
2016-09-06 | Single and Multiple Document Summarization with Graph-based Ranking Algorithms | 1:13:57 | 2,944 | |
|
2016-09-06 | Sharp thresholds for random constraint satisfaction problems [1/3] | 1:15:49 | 37 | |
|
2016-09-06 | A Unification of Menger's and Edmonds' Theorems and Network Coding Theorems | 53:50 | 126 | |
|
2016-09-06 | Statistical Learning and Analysis for Unconstrained Face Recognition | 1:09:48 | 110 | |
|
2016-09-06 | Convergence in competitive Games | 55:50 | 53 | |
|
2016-09-06 | A Novel Approach to Sequence Analysis using Assign-SBTTM Software Improves Heterozygous Base Calling | 1:27:47 | 78 | |
|
2016-09-06 | Recovering Human Shape and Motion from Video Sequences | 58:55 | 12 | |
|
2016-09-06 | The Garbage Collection Advantage: Improving Program Locality | 35:05 | 63 | |
|
2016-09-06 | Space Elevator ΓÇô Fiction, Fact, and Progress Reports on required Robotics and Carbon NanoTube | 1:23:53 | 59 | |
|
2016-09-06 | Bridging Computer Science and Behavioral Science: Research Examples | 1:09:32 | 171 | |
|
2016-09-06 | Overview of the Science Fiction Museum | 50:32 | 54 | |
|
2016-09-06 | Formal Commercial Contracts | 1:06:41 | 136 | |
|
2016-09-06 | Parameterized Model Checking of Protocols: Two Developments | 1:02:13 | 125 | |
|
2016-09-06 | A Sample of Monte Carlo Methods in Robotics and Vision | 1:21:20 | 174 | |
|
2016-09-06 | Virtual Customer Environments & Customer Involvement in Innovation and Value Creation | 1:14:23 | 54 | |
|
2016-09-06 | Large Margin Generative Models | 1:40:33 | 24 | |
|
2016-09-06 | Strategies for Enhancing Ethnic and Gender Diversity in Engineering and Computer Science | 1:30:50 | 70 | |
|
2016-09-06 | DRM and MSFT: a product no customer wants | 1:05:22 | 76 | |
|
2016-09-06 | A Dynamic Pari-Mutuel Market for Hedging, Wagering, and Information Aggregation | 1:01:00 | 662 | Guide |
|
2016-09-06 | Dynamic Point Samples for Free-Viewpoint Video | 54:23 | 936 | | Viewpoint
|
2016-09-06 | Fast Belief Propagation for Early Vision | 1:12:15 | 639 | |
|
2016-09-06 | Culture and Prosperity: The Truth About Markets | 1:10:00 | 179 | |
|
2016-09-06 | Words, links, and patterns: novel representations for Web-scale text mining | 1:11:44 | 44 | |
|
2016-09-06 | Asymptotic Enumeration of Spanning Trees via Traces and Random Walks [1/27] | 1:04:46 | 89 | |
|
2016-09-06 | Traffic Constraints Instead of Traffic Matrices: A New Approach to Traffic Characterization | 48:47 | 140 | |
|
2016-09-06 | Unknowable | 47:37 | 51 | |
|
2016-09-06 | Neighbourhood Component Analysis | 1:12:33 | 1,816 | |
|
2016-09-06 | Defying Categorization: DXARTS | 1:12:49 | 41 | |
|
2016-09-06 | Complex Arithmetic for Hardware Implementation: Division and Square Root | 1:04:13 | 1,363 | |
|
2016-09-06 | Distributed Implementations of Vickrey-Clarke-Groves Mechanisms | 1:09:27 | 327 | |
|
2016-09-06 | Not Even Wrong | 58:45 | 260 | |
|
2016-09-06 | Measurement and Monitoring in Wireless Sensor Networks | 1:15:19 | 174 | |
|
2016-09-06 | From TimeSync to EmStar: What's really hard in sensor networks? | 1:13:10 | 97 | |
|
2016-09-06 | JET: Join-Exit Tree for Time Efficient Contributory Group Key Management | 1:09:42 | 42 | |
|
2016-09-06 | Large-scale 3D Reconstruction from Video | 1:18:13 | 642 | |
|
2016-09-06 | Analysis of Multiagent Teams using Distributed POMDPs | 55:52 | 76 | |
|
2016-09-06 | Understanding and Designing for Physically Large Displays | 57:05 | 27 | Let's Play |
|
2016-09-06 | Distinguishing Chambers of the Moment Polytope | 44:07 | 133 | |
|
2016-09-06 | Exceptions and side-effects in atomic blocks | 44:11 | 16 | |
|
2016-09-06 | Social Catalysts: enhancing communication in mediated spaces | 1:09:25 | 24 | |
|
2016-09-06 | Some New Directions in Energy Minimization with Graph Cuts | 1:20:01 | 855 | |
|
2016-09-06 | The Personal Rover Project: Robotics for the Masses | 1:14:31 | 217 | |
|
2016-09-06 | How can we apply the most powerful tools of our time to the search for an effective HIV Vaccine? | 1:06:20 | 35 | |
|
2016-09-06 | The Location Stack: Design, Implementation, and Use of Probabilistic Multi-sensor Location Systems | 1:19:54 | 34 | |
|
2016-09-06 | The Flickering Mind: The False Promise of Technology in the Classroom and How Learning Can Be Saved | 1:15:22 | 1,039 | Vlog |
|
2016-09-06 | Content Delivery in the Modern Internet | 1:25:04 | 67 | |
|
2016-09-06 | Random walk and random aggregation, derandomized | 54:38 | 161 | |
|
2016-09-06 | Enabling NASA's New Vision for Space Exploration through Human-Centered Intelligent Systems | 50:22 | 39 | |
|
2016-09-06 | Maximizing the Spread of Influence in a Social Network | 55:10 | 445 | |
|
2016-09-06 | Fixing the String Kernel - A Semi-Definite Programming Approach | 1:07:42 | 296 | |
|
2016-09-06 | Stable Marriage of Poisson and Lebesgue | 54:16 | 67 | |
|
2016-09-01 | Computer-Assisted Audiovisual Language Learning | 6:15 | 1,573 | |
|
2016-09-01 | Room2Room: Life-Size Telepresence in a Projected Augmented Reality Environment | 3:05 | 6,792 | |
|
2016-09-01 | Vitruvian Manifold | 0:38 | 310 | |
|
2016-08-31 | How interns impact research at Microsoft (short version) | 1:39 | 2,900 | |
|
2016-08-31 | System Design for Cloud Services - 3 Minute Madness | 35:52 | 177 | |
|
2016-08-31 | Skrybe: Designing Features to Improve Real-Time Captioning for Deaf & Hard of Hearing Students | 1:05:46 | 687 | |
|
2016-08-31 | Near-Optimal Robust Matrix Completion via Non-convex Optimization | 1:05:41 | 846 | |
|