Emanuele

Results: 530



#Item
131Program Verification using Constraint Handling Rules and Array Constraint Generalizations⋆ Emanuele De Angelis1,3 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

Program Verification using Constraint Handling Rules and Array Constraint Generalizations⋆ Emanuele De Angelis1,3 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

Add to Reading List

Source URL: www.sci.unich.it

Language: English - Date: 2014-07-10 04:18:43
    132IEEE AASP Challenge on Detection and Classification of Acoustic Scenes and Events THE WONDERS OF THE NORMALIZED COMPRESSION DISSIMILARITY REPRESENTATION Emanuele Olivetti NeuroInformatics Laboratory (NILab), Bruno Kessl

    IEEE AASP Challenge on Detection and Classification of Acoustic Scenes and Events THE WONDERS OF THE NORMALIZED COMPRESSION DISSIMILARITY REPRESENTATION Emanuele Olivetti NeuroInformatics Laboratory (NILab), Bruno Kessl

    Add to Reading List

    Source URL: c4dm.eecs.qmul.ac.uk

    Language: English - Date: 2013-10-16 05:50:52
      133V IS M ASHUP: Streamlining the Creation of Custom Visualization Applications ´ Emanuele Santos, Lauro Lins, James P. Ahrens, Juliana Freire, and Claudio T. Silva, Senior Member, IEEE

      V IS M ASHUP: Streamlining the Creation of Custom Visualization Applications ´ Emanuele Santos, Lauro Lins, James P. Ahrens, Juliana Freire, and Claudio T. Silva, Senior Member, IEEE

      Add to Reading List

      Source URL: vgc.poly.edu

      Language: English - Date: 2011-07-16 10:04:53
      134VeriMAP: A Tool for Verifying Programs through Transformations Emanuele De Angelis1? , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

      VeriMAP: A Tool for Verifying Programs through Transformations Emanuele De Angelis1? , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

      Add to Reading List

      Source URL: www.sci.unich.it

      Language: English - Date: 2014-01-16 13:38:07
        135Is It Real, or Is It Randomized?: A Financial Turing Test∗ Jasmina Hasanhodzic,† Andrew W. Lo,‡ and Emanuele Viola§ This Draft: February 23, 2010 Abstract We construct a financial “Turing test” to determine wh

        Is It Real, or Is It Randomized?: A Financial Turing Test∗ Jasmina Hasanhodzic,† Andrew W. Lo,‡ and Emanuele Viola§ This Draft: February 23, 2010 Abstract We construct a financial “Turing test” to determine wh

        Add to Reading List

        Source URL: alo.mit.edu

        Language: English - Date: 2015-07-09 10:33:34
          136VeriMAP: A Tool for Verifying Programs through Transformations Emanuele De Angelis1? , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

          VeriMAP: A Tool for Verifying Programs through Transformations Emanuele De Angelis1? , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

          Add to Reading List

          Source URL: map.uniroma2.it

          Language: English - Date: 2014-01-16 13:38:07
            137NOTE LEGALI E PRIVACY Informazioni societarie Bottega Reale srl uni personale con sede legale in p.zza Vittorio Emanuele II, 14 – 12035 Racconigi (CN) Codice Fiscale e Partita IVAR.E.A. CNR.I.

            NOTE LEGALI E PRIVACY Informazioni societarie Bottega Reale srl uni personale con sede legale in p.zza Vittorio Emanuele II, 14 – 12035 Racconigi (CN) Codice Fiscale e Partita IVAR.E.A. CNR.I.

            Add to Reading List

            Source URL: terredeisavoia.files.wordpress.com

            Language: Italian - Date: 2015-05-14 16:35:46
              138Emanuele Murra wo rki ngp a

              Emanuele Murra wo rki ngp a

              Add to Reading List

              Source URL: www.bin-italia.org

              Language: Italian - Date: 2014-04-30 13:12:51
                139Fundamenta Informaticae XX–24 IOS Press Synthesizing Concurrent Programs using Answer Set Programming Emanuele De Angelis

                Fundamenta Informaticae XX–24 IOS Press Synthesizing Concurrent Programs using Answer Set Programming Emanuele De Angelis

                Add to Reading List

                Source URL: www.iasi.cnr.it

                Language: English - Date: 2013-01-21 11:15:22
                  140A Computational View of Market Efficiency∗ Jasmina Hasanhodzic†, Andrew W. Lo‡, and Emanuele Viola†† August 31, 2009 Abstract We propose to study market efficiency from a computational viewpoint. Borrowing from

                  A Computational View of Market Efficiency∗ Jasmina Hasanhodzic†, Andrew W. Lo‡, and Emanuele Viola†† August 31, 2009 Abstract We propose to study market efficiency from a computational viewpoint. Borrowing from

                  Add to Reading List

                  Source URL: alo.mit.edu

                  Language: English - Date: 2015-07-16 11:50:05