Computing

Results: 372271



#Item
731

Quantum Algorithms Researcher​ Zapata computing is a quantum software, services, and applications company developing quantum algorithms to solve critical problems. A vital part of our mission at Zapata is to create an

Add to Reading List

Source URL: zapatacomputing.com

Language: English - Date: 2018-05-14 11:21:04
    732

    New Public-Domain Realizations of Standard Pieces for Instruments and Live Electronics ∗ Miller Puckette Department of Music and Center for Research in Computing and the Arts, UCSD Abstract

    Add to Reading List

    Source URL: msp.ucsd.edu

    Language: English - Date: 2007-08-13 17:30:14
      733

      arXiv:1605.02529v1 [cs.SE] 9 MayUnder consideration for publication in Formal Aspects of Computing Verification of interlocking systems using statistical model checking

      Add to Reading List

      Source URL: www.info.ucl.ac.be

      Language: English - Date: 2018-07-26 05:20:31
        734

        Learning Semantic Hierarchies via Word Embeddings Ruiji Fu† , Jiang Guo† , Bing Qin† , Wanxiang Che† , Haifeng Wang‡ , Ting Liu†∗ † Research Center for Social Computing and Information Retrieval Harbin In

        Add to Reading List

        Source URL: ir.hit.edu.cn

        Language: English - Date: 2014-06-16 10:17:55
          735

          Robust Asynchronous Optimization for Volunteer Computing Grids Travis Desell∗ , Malik Magdon-Ismail∗, Boleslaw Szymanski∗ , Carlos Varela∗ , Heidi Newberg† and Nathan Cole† ∗ Department of Computer Science

          Add to Reading List

          Source URL: wcl.cs.rpi.edu

          Language: English - Date: 2015-01-22 12:32:41
            736

            From an Image to a Description Margaret Mitchell University of Aberdeen Computing Science Department Aberdeen, Scotland, U.K.

            Add to Reading List

            Source URL: www.m-mitchell.com

            Language: English - Date: 2013-01-29 22:40:30
              737

              Center for Reliable Computing TECHNICAL REPORT

              Add to Reading List

              Source URL: www-crc.stanford.edu

              Language: English - Date: 2015-09-30 01:46:56
                738

                Another Look at Sensitivity of Bayesian Networks to Imprecise Probabilities Oscar Kipersztok Mathematics and Computing Technology Phantom Works, The Boeing Company

                Add to Reading List

                Source URL: www.gatsby.ucl.ac.uk

                Language: English - Date: 2004-06-14 10:49:38
                  739

                  International Conference on Automonic Computing Anatomy of a Real-time Intrusion Prevention System Ricardo Koller, Raju Rangaswami, Joseph Marrero, Igor Hernandez, Geoffrey Smith, Mandy Barsilai, Silviu Necula, S. Masou

                  Add to Reading List

                  Source URL: users.cis.fiu.edu

                  Language: English - Date: 2008-10-29 13:00:35
                    740

                    Four Soviets Walk the Dog—Improved Bounds for Computing the Fr´ echet Distance∗ Kevin Buchin† Maike Buchin‡ Wouter Meulemans† Wolfgang Mulzer§ Abstract Given two polygonal curves in the plane, there are many

                    Add to Reading List

                    Source URL: page.mi.fu-berlin.de

                    Language: English - Date: 2018-08-08 08:40:13
                      UPDATE