1![ACQUINE: Aesthetic Quality Inference Engine – Real-time Automatic Rating of Photo Aesthetics ∗ Ritendra Datta ACQUINE: Aesthetic Quality Inference Engine – Real-time Automatic Rating of Photo Aesthetics ∗ Ritendra Datta](https://www.pdfsearch.io/img/fc73cf049b3d975fca4241ce3ad2f8cf.jpg) | Add to Reading ListSource URL: infolab.stanford.eduLanguage: 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 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](https://www.pdfsearch.io/img/9f9d4b5818bf29960f9a26da490efba9.jpg) | Add to Reading ListSource URL: arxiv.org- Date: 2016-05-03 21:06:22
|
---|
3![jbuckland_asme_dsc08_24aug08.DVI jbuckland_asme_dsc08_24aug08.DVI](https://www.pdfsearch.io/img/31737981bb7ec704aa8d18d376b9b279.jpg) | Add to Reading ListSource URL: web.eecs.umich.eduLanguage: English - Date: 2016-04-25 13:15:14
|
---|
4![Towards Interpretation Strategies for Multimodal Instructional Analogies Maria D. Chang, Kenneth D. Forbus Qualitative Reasoning Group, Northwestern University 2133 Sheridan Road, Evanston, ILhwe Towards Interpretation Strategies for Multimodal Instructional Analogies Maria D. Chang, Kenneth D. Forbus Qualitative Reasoning Group, Northwestern University 2133 Sheridan Road, Evanston, ILhwe](https://www.pdfsearch.io/img/fbcce03882862bab9f7a7209af5782d4.jpg) | Add to Reading ListSource URL: qr15.sift.netLanguage: English - Date: 2015-08-11 09:14:44
|
---|
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. 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.](https://www.pdfsearch.io/img/cfe6fab6504a4fb91041c0fb8b2ee603.jpg) | Add to Reading ListSource URL: eulersharp.sourceforge.netLanguage: English |
---|
6![MetTeL A Tableau Prover with Logic-Independent Inference Engine User Manual v.1 M. Khodadadi, R. A. Schmidt, D. Tishkovsky MetTeL A Tableau Prover with Logic-Independent Inference Engine User Manual v.1 M. Khodadadi, R. A. Schmidt, D. Tishkovsky](https://www.pdfsearch.io/img/d89146fa193ee84c54afa7f3ff48b709.jpg) | Add to Reading ListSource URL: mettel-prover.orgLanguage: 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 MetTeL A Tableau Prover with Logic-Independent Inference Engine User Manual v.1 M. Khodadadi, R. A. Schmidt, D. Tishkovsky](https://www.pdfsearch.io/img/600a3c356d6916dc52e7a545ba2c52cb.jpg) | Add to Reading ListSource URL: www.mettel-prover.orgLanguage: 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 Design and implementation of a reusable type inference engine and its application to Scheme Brian J. Dorn TR #05-16 July 2005](https://www.pdfsearch.io/img/7248c50adc2faaeeddd334a17d1321c4.jpg) | Add to Reading ListSource URL: faculty.ist.unomaha.eduLanguage: 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 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](https://www.pdfsearch.io/img/57f02b658844c70a1d3ed7e651b332d5.jpg) | Add to Reading ListSource URL: faculty.ist.unomaha.eduLanguage: 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 MetTeL A Tableau Prover with Logic-Independent Inference Engine User Manual v.1 M. Khodadadi, R. A. Schmidt, D. Tishkovsky](https://www.pdfsearch.io/img/ae4a5ba5a81daee4126b32d15327037f.jpg) | Add to Reading ListSource URL: www.mettel-prover.orgLanguage: English - Date: 2014-04-01 08:48:03
|
---|