<--- Back to Details
First PageDocument Content
Edmund M. Clarke / Mark Kryder / Carnegie Mellon University / Carnegie Mellon School of Computer Science / Engineering and Public Policy / M. Satyanarayanan / Institute of Electrical and Electronics Engineers / Government / Academia / Engineering
Date: 2014-10-08 01:14:30
Edmund M. Clarke
Mark Kryder
Carnegie Mellon University
Carnegie Mellon School of Computer Science
Engineering and Public Policy
M. Satyanarayanan
Institute of Electrical and Electronics Engineers
Government
Academia
Engineering

current_mast_b&w_spr07

Add to Reading List

Source URL: www.ece.cmu.edu

Download Document from Source Website

File Size: 2,39 MB

Share Document on Facebook

Similar Documents

Forming an Effective Multi-Robot Team Robust to Failures Somchaya Liemhetcharat and Manuela Veloso School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA and A

DocID: 1uOxA - View Document

Route Guidance Modality for Elder Driver Navigation SeungJun Kim, Jin-Hyuk Hong, Kevin A. Li1, Jodi Forlizzi and Anind K. Dey Human-Computer Interaction Institute, School of Computer Science, Carnegie Mellon University,

DocID: 1uqyP - View Document

Carnegie Mellon School of Computer Science Scheme Flow Analysis Note

DocID: 1uhB4 - View Document

Grounded Semantic Parsing for Complex Knowledge Extraction Ankur P. Parikh∗ School of Computer Science Carnegie Mellon University

DocID: 1u0q3 - View Document

Weighted Synergy Graphs for Effective Team Formation with Heterogeneous Ad Hoc Agents Somchaya Liemhetcharat∗ and Manuela Veloso School of Computer Science, Carnegie Mellon University Pittsburgh, PA 15213, USA som@ri.c

DocID: 1tXcs - View Document