CSAIL Publications

Technical Reports

Work Products

Historical Collections

horizontal line

CSAIL Technical Reports (July 1, 2003 - present)

<- 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 ->

Title
Author	Date	Identifier	Keywords	Advisor	Group

Paris, Sylvain Durand, Fredo	2006-11-09	MIT-CSAIL-TR-2006-073	color image processing cross bilateral filter edge-preserving filter	Fredo Durand	Computer Graphics

Bouillaguet, Charles Kuncak, Viktor Wies, Thomas Zee, Karen Rinard, Martin	2006-11-09	MIT-CSAIL-TR-2006-072	program verification shape analysis multisorted logic	Martin Rinard	Computer Architecture

Finlayson, Mark Alan Winston, Patrick Henry	2006-11-07	MIT-CSAIL-TR-2006-071	analogical access precedent retrieval intermediate features symbolic computational modelling mere-appearance literally-similar	Patrick Winston	Genesis

Konwar, K. Musial, P.M. Nicolau, N.C. Shvartsman., A.A.	2006-10-12	MIT-CSAIL-TR-2006-070		Nancy Lynch	Theory of Computation

Bachrach, Jonathan Beal, Jacob	2006-06	MIT-CSAIL-TR-2006-069	amorphous computing	Howard Shrobe	AIRE

Torlak, Emina Jackson, Daniel	2006-09-29	MIT-CSAIL-TR-2006-068		Daniel Jackson	Software Design

Zhao, Qin Rabbah, Rodric Amarasinghe, Saman Rudolph, Larry Wong, Weng-Fai	2006-09-25	MIT-CSAIL-TR-2006-067	Performance Monitoring Online Simulation Runtime Optimization Cache Modelling Memory Hierarchy	Saman Amarasinghe	Computer Architecture

Tseng, Jessica H. Asanovic, Krste	2006-09-18	MIT-CSAIL-TR-2006-066		Krste Asanovic	Computer Architecture

Artzi, Shay Ernst, Michael D. Glasser, David Kiezun, Adam	2006-09-17	MIT-CSAIL-TR-2006-065	immutability mutability side effect analysis purity pointer analysis dynamic analysis mutation	Michael Ernst	Program Analysis

Sarmenta, Luis F. G. van Dijk, Marten O'Donnell, Charles W. Rhodes, Jonathan Devadas, Srinivas	2006-09-11	MIT-CSAIL-TR-2006-064	trusted storage key delegation stored-value e-wallet smartcard memory integrity checking certified execution	Srini Devadas	Computation Structures

Caponnetto, Andrea Yao, Yuan	2006-09-10	MIT-CSAIL-TR-2006-063 CBCL-265	optimal rates, Learning, regularization methods, adaptation, cross-validation	Tomaso Poggio	Center for Biological and Computational Learning (CBCL)

Caponnetto, Andrea	2006-09-10	MIT-CSAIL-TR-2006-062 CBCL-264	optimal rates, regularized least-squares algorithm, regularization methods, adaptation	Tomaso Poggio	Center for Biological and Computational Learning (CBCL)

Kiezun, Adam Ernst, Michael D. Tip, Frank Fuhrer, Robert M.	2006-09-05	MIT-CSAIL-TR-2006-061		Michael Ernst	Program Analysis

Canetti,, Ran Cheung,, Ling Kaynar,, Dilsun Liskov,, Moses Lynch,, Nancy Pereira,, Olivier Segala, Roberto	2006-09-05	MIT-CSAIL-TR-2006-060		Nancy Lynch	Theory of Computation

Tschantz, Matthew S.	2006-09-05	MIT-CSAIL-TR-2006-059	assignable languages mutable readonly type system verification	Michael Ernst	Program Analysis

Fergus, Rob Torralba, Antonio Freeman, William T.	2006-09-02	MIT-CSAIL-TR-2006-058		William Freeman	Vision

Monteleoni, Claire E.	2006-09-01	MIT-CSAIL-TR-2006-057		Tommi Jaakkola	Tommi's Machine Learning

Artzi, Shay Ernst, Michael D. Kiezun, Adam Pacheco, Carlos Perkins, Jeff H.	2006-08-31	MIT-CSAIL-TR-2006-056		Michael Ernst	Program Analysis

Hug, Caleb W.	2006-08-30	MIT-CSAIL-TR-2006-055	Intelligent Monitoring	Peter Szolovits	Clinical Decision-Making

Wolf, Florian Poggio, Tomaso Sinha, Pawan	2006-08-09	MIT-CSAIL-TR-2006-054 CBCL-263	text classification	Tomaso Poggio	Center for Biological and Computational Learning (CBCL)

Computer Science and Artificial Intelligence Laboratory (CSAIL)
The Stata Center, Building 32 - 32 Vassar Street - Cambridge, MA 02139 - USA
tel:+1-617-253-0073 - publications@csail.mit.edu