Automatic

Results: 19792



#Item
461

Covariance Kernels for Fast Automatic Pattern Discovery and Extrapolation with Gaussian Processes Andrew Gordon Wilson

Add to Reading List

Source URL: www.cs.cmu.edu

- Date: 2014-09-11 09:47:05
    462

    AUTOMATIC E XPLOITATION OF I NPUT PARALLELISM TAEWOOK O H A D ISSERTATION

    Add to Reading List

    Source URL: liberty.princeton.edu

    - Date: 2015-07-30 14:05:40
      463

      AUTOMATIC GENERATION OF HIGH THROUGHPUT ENERGY EFFICIENT STREAMING ARCHITECTURES FOR ARBITRARY FIXED PERMUTATIONS∗ Ren Chen and Viktor K. Prasanna Ming Hsieh Department of Electrical Engineering University of Southern

      Add to Reading List

      Source URL: ganges.usc.edu

      - Date: 2015-11-11 15:34:48
        464

        Automatic Software Verification Spring Semester, 2015 Lecture 8: May 5, 2015 Lecturer: Prof. Mooly Sagiv

        Add to Reading List

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

        - Date: 2015-06-26 11:40:49
          465

          Automatic Software Verification Ex. 2: Abstract Interpretation DueThis exercise is composed of 3 projects: you must do project 1, and may choose to do either project 2 or 3.

          Add to Reading List

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

          - Date: 2015-05-25 08:42:52
            466

            PicoKeyer-Plus Ultra Low Power Morse Memory Keyer The PicoKeyer is a single chip, automatic iambic Morse code memory keyer. Its small size, low power requirements and robust set of features make it perfect for portable o

            Add to Reading List

            Source URL: www.hamgadgets.com

            - Date: 2016-04-02 19:06:58
              467

              Knowledge Transfer in Automatic Optimisation of Reconfigurable Designs Maciej Kurek, Marc Peter Deisenroth, Wayne Luk and Timothy Todman Abstract—This paper presents a novel approach for automatic optimisation of recon

              Add to Reading List

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

              - Date: 2016-05-03 16:40:55
                468

                Automatic Construction of Morphologically Motivated Translation Models for Highly Inflected, Low-Resource Languages John Hewitt Department of Computer and Information Science, University of Pennsy

                Add to Reading List

                Source URL: www.seas.upenn.edu

                - Date: 2016-10-29 18:34:40
                  469

                  A wireless sensor system for validation of real-time automatic calibration of groundwater transport models

                  Add to Reading List

                  Source URL: inside.mines.edu

                  - Date: 2009-10-02 16:14:33
                    470

                    Published in Software Safety and Security; Tools for Analysis and Verification. NATO Science for Peace and Security Series, vol 33, pp286-318, 2012 A Primer on Separation Logic (and Automatic Program Verification and Ana

                    Add to Reading List

                    Source URL: www.lsv.ens-cachan.fr

                    - Date: 2014-03-02 08:55:00
                      UPDATE