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

Source URL: jeapostrophe.github.io

• Computer programming
• Software engineering
• Type theory
• Computing
• Functional programming
• Adjoint functors
• Monad
• HindleyMilner type system
• Variety
• Redblack tree
• List

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

Source URL: jeapostrophe.github.io

• Computer programming
• Software engineering
• Type theory
• Computing
• Functional programming
• Adjoint functors
• Monad
• HindleyMilner type system
• Variety
• Redblack tree
• List

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

Source URL: vision.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

Source URL: ai.bu.edu

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

Source URL: cs-people.bu.edu

Deconstructing the Deformable Parts Model: Do More with Less Brigit Schroeder1 , Baochen Sun1 , Kate Saenko1 , Karim Ali1,2 1 University of Massachusetts, Lowell

Source URL: www.cs.uml.edu

Bithoven Gödel Encoding of Chamber Music and Functional 8-Bit Audio Synthesis Jay McCarthy University of Massachusetts Lowell, USA

Source URL: jeapostrophe.github.io

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

Source URL: www.karimali.org

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

Source URL: www.emnlp2015.org

Transforming Science and Engineering Classrooms with Online Collaborative Tools James Dalphond University of Massachusetts Lowell Co­authors: John Fertitta, Fred Martin, Ivan Rudnick

Source URL: www.isteconference.org