Synthesis

Results: 8163



#Item
341

FlashMeta: A Framework for Inductive Program Synthesis Oleksandr Polozov Sumit Gulwani University of Washington, USA

Add to Reading List

Source URL: homes.cs.washington.edu

- Date: 2015-10-13 16:56:29
    342

    Program Synthesis in the Industrial World: Inductive, Incremental, Interactive 1 Oleksandr Polozov

    Add to Reading List

    Source URL: homes.cs.washington.edu

    - Date: 2016-05-07 01:52:19
      343

      Synthesis of Randomized Accuracy-Aware Map-Fold Programs Sasa Misailovic Martin Rinard MIT CSAIL

      Add to Reading List

      Source URL: sampa.cs.washington.edu

      - Date: 2016-09-29 13:03:17
        344

        Choreography Synthesis as Contract Agreement Julien Lange Alceste Scalas

        Add to Reading List

        Source URL: www.cs.unibo.it

        - Date: 2013-07-01 16:28:46
          345

          Lazy Synthesis⋆ Bernd Finkbeiner1 and Swen Jacobs2 1 2

          Add to Reading List

          Source URL: www.swenjacobs.com

          - Date: 2013-01-31 09:32:56
            346

            Workshop on Virtual Reality Interaction and Physical Simulation VRIPHYSF. Jaillet, G. Zachmann, and F. Zara (Editors) Level-of-Detail Modal Analysis for Real-time Sound Synthesis Dominik Rausch1,2 and Bernd Hents

            Add to Reading List

            Source URL: vr.rwth-aachen.de

            - Date: 2016-07-07 01:25:16
              347

              Reductions for Synthesis Procedures? Swen Jacobs1 , Viktor Kuncak2 , and Philippe Suter2 1 2

              Add to Reading List

              Source URL: www.swenjacobs.com

              - Date: 2013-01-31 09:33:18
                348

                Choreography Synthesis as Contract Agreement Julien Lange Alceste Scalas University of Leicester, UK

                Add to Reading List

                Source URL: www.cs.unibo.it

                - Date: 2013-06-01 06:44:56
                  349

                  Sound Synthesis Using an Allpass Filter Chain with Audio-rate Coefficient Modulation

                  Add to Reading List

                  Source URL: dafx09.como.polimi.it

                  - Date: 2009-09-01 10:44:11
                    350

                    As of 7 OctoberSubmissions on the roadmap for global climate action Synthesis written by the COP21 and COP22 champions’ teams Following the invitation for submissions on the roadmap for Global Climate Action co

                    Add to Reading List

                    Source URL: newsroom.unfccc.int

                    - Date: 2016-10-10 09:53:26
                      UPDATE