The Development of the AQ20 Learning System and Initial Experiments Guido Cervone Liviu Panait Ryszard Michalski* Machine Learning and Inference Laboratory, George Mason University, Fairfax,

First Page		Document Content
Date: 2015-11-18 09:12:46 Theoretical computer science Algorithms Formal methods Software engineering HindleyMilner type system Lambda calculus Type theory Mathematics		The Development of the AQ20 Learning System and Initial Experiments Guido Cervone Liviu Panait Ryszard Michalski* Machine Learning and Inference Laboratory, George Mason University, Fairfax, Add to Reading List Source URL: cervone.psu.edu Download Document from Source Website File Size: 97,06 KB Share Document on Facebook

	A Family of Provably Correct Algorithms for Exact Triangle Coun;ng Ma=hew Lee, Tze Meng Low Correctness 2017 DocID: 1xVUG - View Document
	Theoretical Computer Science–40 www.elsevier.com/locate/tcs Presorting algorithms: An average-case point of view DocID: 1xVR3 - View Document
	Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017 DocID: 1xVvl - View Document
	Theory and Techniques for Synthesizing a Family of Graph Algorithms Srinivas Nedunuri William R. Cook DocID: 1xVkB - View Document
	Stochastic Hillclimbing as a Baseline Method for Evaluating Genetic Algorithms Ari Juels Department of Computer Science DocID: 1xVfc - View Document