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 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](https://www.pdfsearch.io/img/c9222fdbd33045af0cb59c0e36319826.jpg) | Add to Reading ListSource URL: jeapostrophe.github.ioLanguage: English - Date: 2018-10-23 12:14:23
|
---|
2![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 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](https://www.pdfsearch.io/img/a4a3ba6029d60010dcfc690642315a74.jpg) | Add to Reading ListSource URL: jeapostrophe.github.ioLanguage: English - Date: 2018-10-23 12:14:23
|
---|
3![Generating Large Scale Image Datasets from 3D CAD Models Baochen Sun, Xingchao Peng, Kate Saenko Computer Science Department University of Massachusetts Lowell Lowell, Massachusetts, US {bsun, xpeng, saenko}@cs.uml.edu Generating Large Scale Image Datasets from 3D CAD Models Baochen Sun, Xingchao Peng, Kate Saenko Computer Science Department University of Massachusetts Lowell Lowell, Massachusetts, US {bsun, xpeng, saenko}@cs.uml.edu](https://www.pdfsearch.io/img/86cd963c263760a933278f5fb23832bb.jpg) | Add to Reading ListSource URL: vision.cs.uml.edu- Date: 2017-06-16 10:27:47
|
---|
4![Generating Large Scale Image Datasets from 3D CAD Models Baochen Sun, Xingchao Peng, Kate Saenko Computer Science Department University of Massachusetts Lowell Lowell, Massachusetts, US {bsun, xpeng, saenko}@cs.uml.edu Generating Large Scale Image Datasets from 3D CAD Models Baochen Sun, Xingchao Peng, Kate Saenko Computer Science Department University of Massachusetts Lowell Lowell, Massachusetts, US {bsun, xpeng, saenko}@cs.uml.edu](https://www.pdfsearch.io/img/b84cd12177acbdc853092902b4dcd2ef.jpg) | Add to Reading ListSource URL: ai.bu.edu- Date: 2018-04-03 22:12:43
|
---|
5![Learning Deep Object Detectors from 3D Models Xingchao Peng, Baochen Sun, Karim Ali, Kate Saenko University of Massachusetts Lowell arXiv:1412.7122v4 [cs.CV] 12 Oct 2015 Learning Deep Object Detectors from 3D Models Xingchao Peng, Baochen Sun, Karim Ali, Kate Saenko University of Massachusetts Lowell arXiv:1412.7122v4 [cs.CV] 12 Oct 2015](https://www.pdfsearch.io/img/5bab4777043993734005bd63b73f1603.jpg) | Add to Reading ListSource URL: cs-people.bu.edu- Date: 2017-12-15 00:58:34
|
---|
6![Deconstructing the Deformable Parts Model: Do More with Less Brigit Schroeder1 , Baochen Sun1 , Kate Saenko1 , Karim Ali1,2 1 University of Massachusetts, Lowell Deconstructing the Deformable Parts Model: Do More with Less Brigit Schroeder1 , Baochen Sun1 , Kate Saenko1 , Karim Ali1,2 1 University of Massachusetts, Lowell](https://www.pdfsearch.io/img/83129a7bf58274a412321718440e85bd.jpg) | Add to Reading ListSource URL: www.cs.uml.edu- Date: 2014-10-01 23:46:42
|
---|
7![Bithoven Gödel Encoding of Chamber Music and Functional 8-Bit Audio Synthesis Jay McCarthy University of Massachusetts Lowell, USA Bithoven Gödel Encoding of Chamber Music and Functional 8-Bit Audio Synthesis Jay McCarthy University of Massachusetts Lowell, USA](https://www.pdfsearch.io/img/64711a4e09296b0768e09ad2a05944b2.jpg) | Add to Reading ListSource URL: jeapostrophe.github.io- Date: 2018-04-03 12:30:31
|
---|
8![Learning Deep Object Detectors from 3D Models Xingchao Peng, Baochen Sun, Karim Ali, Kate Saenko University of Massachusetts Lowell {xpeng,bsun,karim,saenko}@cs.uml.edu Abstract Learning Deep Object Detectors from 3D Models Xingchao Peng, Baochen Sun, Karim Ali, Kate Saenko University of Massachusetts Lowell {xpeng,bsun,karim,saenko}@cs.uml.edu Abstract](https://www.pdfsearch.io/img/b96c492cc9093dee28159b9fa92a1f42.jpg) | Add to Reading ListSource URL: www.karimali.org- Date: 2016-03-14 23:29:09
|
---|
9![GhostWriter: Using an LSTM for Automatic Rap Lyric Generation Peter Potash, Alexey Romanov, Anna Rumshisky Dept. of Computer Science University of Massachusetts Lowell Lowell, MA 01854 {ppotash,aromanov,arum}@cs.uml.edu GhostWriter: Using an LSTM for Automatic Rap Lyric Generation Peter Potash, Alexey Romanov, Anna Rumshisky Dept. of Computer Science University of Massachusetts Lowell Lowell, MA 01854 {ppotash,aromanov,arum}@cs.uml.edu](https://www.pdfsearch.io/img/93a6d9d0784389aa5f3392adc4b9f453.jpg) | Add to Reading ListSource URL: www.emnlp2015.org- Date: 2015-12-05 04:26:04
|
---|
10![Transforming Science and Engineering Classrooms with Online Collaborative Tools James Dalphond University of Massachusetts Lowell Coauthors: John Fertitta, Fred Martin, Ivan Rudnick Transforming Science and Engineering Classrooms with Online Collaborative Tools James Dalphond University of Massachusetts Lowell Coauthors: John Fertitta, Fred Martin, Ivan Rudnick](https://www.pdfsearch.io/img/182720884009d33ee789e101a29ae191.jpg) | Add to Reading ListSource URL: www.isteconference.org- Date: 2013-06-21 15:11:11
|
---|