Towards multi-modal extraction and summarization of conversationsRaymond T. Ng|University of British Columbia2009/11/23 Mon 10:30 AM|302 Building, Room 105
CPS Assurance: Definitions, Examples, and Research IssuesKang G. Shin|Computer Science EECS Department, University of Michigan2009/10/16 Fri 01:00 PM|302 Building, Room 105
Is Hardware Innovation Over?Arvind|Computer Science and Artificial Intelligence Laboratory, MIT2009/10/07 Wed 04:00 PM|302 Building, Room 105
Research and Innovation at GoogleAlfred Spector|VP of Research and Special Initiatives, Google Inc.2009/9/22 Tue 12:00 PM|302 Building, Room 105
From Separation Logic to Systems CodePeter O'Hearn|Queen Mary, University of London2009/5/11 Mon 04:00 PM|302 Building, Room 105
Evolutionary Optimization in Networked SystemsAkira Namatame|National Defense Academy2008/12/18 Thu 04:00 PM|302 Building, Room 105
Fundamental delay bounds in peer-to-peer chunk-based real-time streaming systemsGiuseppe Bianchi|Università degli Studi di Roma "Tor Vergata"2008/10/21 Tue 04:30 PM|302 Building, Room 105