University of Massachusetts Lowell

Results: 273



#Item
1A 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

Add to Reading List

Source URL: jeapostrophe.github.io

Language: English - Date: 2018-10-23 12:14:23
2A 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

Add to Reading List

Source URL: jeapostrophe.github.io

Language: English - Date: 2018-10-23 12:14:23
3Generating 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

Add to Reading List

Source URL: vision.cs.uml.edu

- Date: 2017-06-16 10:27:47
    4Generating 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

    Add to Reading List

    Source URL: ai.bu.edu

    - Date: 2018-04-03 22:12:43
      5Learning 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

      Add to Reading List

      Source URL: cs-people.bu.edu

      - Date: 2017-12-15 00:58:34
        6Deconstructing 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

        Add to Reading List

        Source URL: www.cs.uml.edu

        - Date: 2014-10-01 23:46:42
          7Bithoven 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

          Add to Reading List

          Source URL: jeapostrophe.github.io

          - Date: 2018-04-03 12:30:31
            8Learning 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

            Add to Reading List

            Source URL: www.karimali.org

            - Date: 2016-03-14 23:29:09
              9GhostWriter: 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

              Add to Reading List

              Source URL: www.emnlp2015.org

              - Date: 2015-12-05 04:26:04
                10Transforming Science and Engineering Classrooms with Online Collaborative Tools James Dalphond University of Massachusetts Lowell  Co­authors: John Fertitta, Fred Martin, Ivan Rudnick

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

                Add to Reading List

                Source URL: www.isteconference.org

                - Date: 2013-06-21 15:11:11