University of Massachusetts - PDFSEARCH.IO - Document Search Engine

University of Massachusetts
Results: 7942

#	Item
1	A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2018-10-23 12:14:23 Computer programming Software engineering Type theory Computing Functional programming Adjoint functors Monad HindleyMilner type system Variety Redblack tree List
2	Integrating Planning and Recognition to Close the Interaction Loop Richard G. Freedman College of Information and Computer Sciences University of Massachusetts Amherst Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:26 Artificial intelligence Cognitive science Automated planning and scheduling Statistical natural language processing Hierarchical task network Activity recognition STRIPS Latent Dirichlet allocation Intelligence Action selection Topic model Robot
3	A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2018-10-23 12:14:23 Computer programming Software engineering Type theory Computing Functional programming Adjoint functors Monad HindleyMilner type system Variety Redblack tree List
4	Understanding Regression Failures through Test-Passing and Test-Failing Code Changes Roykrong Sukkerd , Ivan Beschastnikh , Jochen Wuttke , Sai Zhang , Yuriy Brun University of Washington University of Massachusetts Seat Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Abstract algebra Estimation theory Extreme programming Software testing Mathematics Debugging Delta debugging Regression analysis Regression testing Localization
5	CacheBrowser: Bypassing Chinese Censorship without Proxies Using Cached Content John Holowczak and Amir Houmansadr College of Information and Computer Sciences University of Massachusetts Amherst Add to Reading List Source URL: people.cs.umass.edu Language: English - Date: 2015-10-13 19:56:51
6	PARTNERSHIP DESCRIPTIONS Raytheon’s Partnership with the University of Massachusetts UMass Amherst Microwave Program Raytheon’s longstanding partnership with the University of Massachusetts began at UMass- Amherst w Add to Reading List Source URL: maroundtable.com Language: English
7	CURRENT DIRECTIONS IN PSYCHOLOGICAL SCIENCE The Comparative Psychology of Avian Visual Cognition Robert G. Cook1 Department of Psychology, Tufts University, Medford, Massachusetts Add to Reading List Source URL: pigeon.psy.tufts.edu Language: English - Date: 2017-10-03 11:08:56
8	Main Speakers and Themes: Tony Nader, MD, PhD Wholeness in Health Received his M.D. degree from the American University of Beirut. His Ph.D. is in the area of Brain and Cognitive Science from the Massachusetts Institute Add to Reading List Source URL: www.ayurveda.at Language: English - Date: 2015-06-24 10:51:09
9	Fast Algorithms for Segmented Regression Jayadev Acharya Massachusetts Institute of Technology, Cambridge, MA 02139, USA Ilias Diakonikolas University of Southern California, Los Angeles, MA 90089, USA Add to Reading List Source URL: www.iliasdiakonikolas.org Language: English - Date: 2016-06-26 10:19:29
10	University of Massachusetts Boston English 365: Section 1 Nineteenth-Century British Novel Spring 2015 Course Syllabus Professor Louise Penner Add to Reading List Source URL: engl365-s15-penner.wikispaces.umb.edu Language: English - Date: 2015-01-29 13:00:57

UPDATE