Inference engine - PDFSEARCH.IO - Document Search Engine

Inference engine
Results: 56

#	Item
1	ACQUINE: Aesthetic Quality Inference Engine – Real-time Automatic Rating of Photo Aesthetics ∗ Ritendra Datta Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2010-01-10 19:15:19
2	EIE: Efficient Inference Engine on Compressed Deep Neural Network Song Han∗ Xingyu Liu∗ Huizi Mao∗ Jing Pu∗ Ardavan Pedram∗ Mark A. Horowitz∗ William J. Dally∗† University, † NVIDIA {songhan,xyl,huizi,j Add to Reading List Source URL: arxiv.org - Date: 2016-05-03 21:06:22
3	jbuckland_asme_dsc08_24aug08.DVI Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2016-04-25 13:15:14 Internal combustion engine Statistical inference Turbochargers Propulsion Wastegate Combustion engineering Manifold vacuum Estimation theory Estimator Least squares Throttle
4	Towards Interpretation Strategies for Multimodal Instructional Analogies Maria D. Chang, Kenneth D. Forbus Qualitative Reasoning Group, Northwestern University 2133 Sheridan Road, Evanston, ILhwe Add to Reading List Source URL: qr15.sift.net Language: English - Date: 2015-08-11 09:14:44 Semantics Reasoning Analogy Artificial intelligence Scientific modeling Analogical models Structure mapping engine Qualitative Reasoning Group Inference Ken Forbus Cyc Conceptual change
5	http://eulersharp.sourceforge.net/GUIDE Euler Proof Mechanism Euler is an inference engine supporting logic based proofs. It is a backward-forward-backward chaining reasoner enhanced with Euler path detection. Add to Reading List Source URL: eulersharp.sourceforge.net Language: English
6	MetTeL A Tableau Prover with Logic-Independent Inference Engine User Manual v.1 M. Khodadadi, R. A. Schmidt, D. Tishkovsky Add to Reading List Source URL: mettel-prover.org Language: English - Date: 2014-04-01 08:48:03
7	MetTeL A Tableau Prover with Logic-Independent Inference Engine User Manual v.1 M. Khodadadi, R. A. Schmidt, D. Tishkovsky Add to Reading List Source URL: www.mettel-prover.org Language: English - Date: 2014-04-01 08:48:04
8	Design and implementation of a reusable type inference engine and its application to Scheme Brian J. Dorn TR #05-16 July 2005 Add to Reading List Source URL: faculty.ist.unomaha.edu Language: English - Date: 2011-07-18 11:55:51
9	Design and implementation of a reusable type inference engine and its application to Scheme by Brian James Dorn A thesis submitted to the graduate faculty Add to Reading List Source URL: faculty.ist.unomaha.edu Language: English - Date: 2011-07-18 11:55:51
10	MetTeL A Tableau Prover with Logic-Independent Inference Engine User Manual v.1 M. Khodadadi, R. A. Schmidt, D. Tishkovsky Add to Reading List Source URL: www.mettel-prover.org Language: English - Date: 2014-04-01 08:48:03

UPDATE