Sciweavers

956 search results - page 28 / 192
» Dimensions in program synthesis
Sort
View
ICIP
2005
IEEE
14 years 3 months ago
Multi-dimensional infinitely divisible cascades to model the statistics of natural images
Infinitely divisible cascades (IDC) were first introduced in one dimension to provide multifractal time series to model the so-called intermittency phenomenon in hydrodynamical ...
Pierre Chainais
SIGPLAN
2002
13 years 9 months ago
An embedded language approach to teaching hardware compilation
This paper describes a course in hardware description and synthesis (hardware compilation), taught as an introductory graduate course at Chalmers University of Technology, and as a...
Koen Claessen, Gordon J. Pace
HYBRID
2003
Springer
14 years 3 months ago
Model Checking LTL over Controllable Linear Systems Is Decidable
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
Paulo Tabuada, George J. Pappas
JMLR
2010
127views more  JMLR 2010»
13 years 4 months ago
Cross-associating unlabelled timbre distributions to create expressive musical mappings
In timbre remapping applications such as concatenative synthesis, an audio signal is used as a template, and a mapping process derives control data for some audio synthesis algori...
Dan Stowell, Mark D. Plumbley