European Confernce on Complex Systems 2007 Dresden, October 1-6, 2007 Abstract Booklet ECCS’07 Organizers:

First Page		Document Content
Date: 2008-05-06 05:49:42 Max Planck Society Province of Reggio Emilia University of Modena and Reggio Emilia Dresden University of Technology Institute of technology Leipzig Max Planck Institute for Mathematics in the Sciences Dresden Education 2nd millennium Academia		European Confernce on Complex Systems 2007 Dresden, October 1-6, 2007 Abstract Booklet ECCS’07 Organizers: Add to Reading List Source URL: www.trafficforum.ethz.ch Download Document from Source Website File Size: 721,69 KB Share Document on Facebook

	Estimating the strength of unlabeled information during semi-supervised learning Brenden M. Lake () Department of Brain and Cognitive Sciences, Massachusetts Institute of Technology James L. McClelland (m DocID: 1xVKT - View Document
	Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive DocID: 1xVIA - View Document
	Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA DocID: 1xVrl - View Document
	BharatNet Planning Tool User Manual Indian Institute of Technology Bombay 3 DocID: 1xVoC - View Document
	Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology DocID: 1xVnS - View Document