Automatic

Results: 19792



#Item
421

Noname manuscript No. (will be inserted by the editor) Automatic Analysis of DMA Races Using Model Checking and k-induction Alastair F. Donaldson · Daniel Kroening ·

Add to Reading List

Source URL: www.doc.ic.ac.uk

- Date: 2012-08-31 08:16:46
    422

    PolyMage: Automatic Optimization for Image Processing Pipelines Ravi Teja Mullapudi Vinay Vasista

    Add to Reading List

    Source URL: drona.csa.iisc.ernet.in

    - Date: 2015-01-16 05:52:13
      423

      Release Notes Tobii Dynavox Update Notifier Introduction The Tobii Dynavox Update Notifier is a program for automatic update of selected Tobii Dynavox applications for the following platforms: • •

      Add to Reading List

      Source URL: tdvox.web-downloads.s3.amazonaws.com

      - Date: 2015-11-05 07:34:53
        424

        Automatic mark-up of legislative documents and its application to parallel text generation Lorenzo Bacci1 , Pierluigi Spinosa1 , Carlo Marchetti2,3 , and Roberto Battistoni3 1 2

        Add to Reading List

        Source URL: ceur-ws.org

        - Date: 2009-05-10 12:16:08
          425

          Automatic Narrative Evolution A White Paper May 26th, 2004 Lutz Hamel1, Judd Morrissey2, Lori Talley2 1

          Add to Reading List

          Source URL: errorengine.org

          - Date: 2007-03-14 17:57:16
            426

            Automatic Software Verification Spring Semester, 2015 Lecture 3: March 24, 2015 Lecturer: Prof. Mooly Sagiv

            Add to Reading List

            Source URL: www.cs.tau.ac.il

            - Date: 2015-05-25 10:56:33
              427

              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
                428

                S TATIC D EPENDENCE A NALYSIS IN AN I NFRASTRUCTURE FOR AUTOMATIC PARALLELIZATION N ICK P. J OHNSON

                Add to Reading List

                Source URL: liberty.princeton.edu

                - Date: 2016-01-06 16:09:56
                  429

                  Technische Universität München Lehrstuhl für Logik und Verifikation Automatic Proofs and Refutations for Higher-Order Logic

                  Add to Reading List

                  Source URL: mediatum.ub.tum.de

                    430

                    Automatic Safety Proofs for Asynchronous Memory Operations ∗ Matko Botinˇcan Mike Dodds

                    Add to Reading List

                    Source URL: www.doc.ic.ac.uk

                    - Date: 2012-08-31 08:16:46
                      UPDATE