Synthesis - PDFSEARCH.IO - Document Search Engine

Synthesis
Results: 8163

#	Item
351	Program Boosting: Program Synthesis via Crowd-Sourcing Robert A Cochran Loris D’Antoni Benjamin Livshits Add to Reading List Source URL: research.microsoft.com - Date: 2014-11-04 11:08:23
352	Switching Logic Synthesis for Reachability∗ Ankur Taly Ashish Tiwari Computer Science Dept., Stanford University Add to Reading List Source URL: theory.stanford.edu - Date: 2011-03-08 18:45:54
353	Gesture–based Control of Physical Modeling Sound Synthesis: a Mapping-by-Demonstration Approach Jules Françoise Norbert Schnell Add to Reading List Source URL: architexte.ircam.fr - Date: 2013-10-09 14:51:51
354	Distributed synthesis for well-connected architectures? Paul Gastin1 , Nathalie Sznajder1 , and Marc Zeitoun2 1 LSV, ENS de Cachan & CNRS Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2006-12-05 04:52:24
355	INTERCONNECTED ECONOMIES: BENEFITING FROM GLOBAL VALUE CHAINS SYNTHESIS REPORT 2 Add to Reading List Source URL: www.oecd.org - Date: 2016-03-29 11:35:04
356	USING STATISTICAL MODELS TO PREDICT PHRASE BOUNDARIES FOR SPEECH SYNTHESIS Eric Sanders and Paul Taylor Add to Reading List Source URL: www.cstr.ed.ac.uk - Date: 2004-10-21 09:11:49
357	Synthesis and Verification for All Emina Torlak University of Washington homes.cs.washington.edu/~emina/ Add to Reading List Source URL: con.racket-lang.org - Date: 2016-09-23 19:37:16
358	PHASESHAPING OSCILLATOR ALGORITHMS FOR MUSICAL SOUND SYNTHESIS Add to Reading List Source URL: smcnetwork.org - Date: 2011-03-29 11:30:56
359	Robust Controller Synthesis in Timed Automata Ocan Sankur1 , Patricia Bouyer1 , Nicolas Markey1 , Pierre-Alain Reynier2 1 2 Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2013-06-19 03:54:44
360	Planning as Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon, Alan Smaill, and Alan Bundy {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk University of Edinburgh, Informatics, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2006-10-18 10:00:12

UPDATE