[removed]CURRICULUM VITAE

First Page		Document Content
Date: 2013-07-26 13:48:43 Computer science Edmund M. Clarke Carnegie Mellon School of Computer Science Randal Bryant Turing Award Formal verification Allen Newell Model checking Carnegie Mellon Silicon Valley Turing Award laureates Carnegie Mellon University Science		[removed]CURRICULUM VITAE Add to Reading List Source URL: www.cs.cmu.edu Download Document from Source Website File Size: 226,43 KB Share Document on Facebook

	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