Sciweavers

78 search results - page 6 / 16
» Church Synthesis Problem with Parameters
Sort
View
ISMIR
2004
Springer
114views Music» more  ISMIR 2004»
14 years 23 days ago
CsoundXML: a meta-language in XML for sound synthesis
The software sound synthesis is closely related to the Music N programs started with Music I in 1957. Although Music N has many advantages such as unit generators and a flexible ...
Pedro Kröger
CEC
2010
IEEE
13 years 8 months ago
Linear antenna array synthesis using fitness-adaptive differential evolution algorithm
-- Design of non-uniform linear antenna arrays is one of the most important electromagnetic optimization problems of current interest. In this article, an adaptive Differential Evo...
Aritra Chowdhury, Ritwik Giri, Arnob Ghosh, Swagat...
CMMR
2008
Springer
153views Music» more  CMMR 2008»
13 years 9 months ago
Dynamic Mapping Strategies for Expressive Synthesis Performance and Improvisation
Realtime musical expression through synthesis is notoriously dicult. The complete potential of a sound engine is traditionally available only at design time. In this paper two mapp...
Palle Dahlstedt
HYBRID
2001
Springer
13 years 12 months ago
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
Thomas Moor, Jennifer M. Davoren
LPNMR
2009
Springer
14 years 1 months ago
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
Configurable on chip multiprocessor systems combine advantages of task-level parallelism and the flexibility of field-programmable devices to customize architectures for paralle...
Harold Ishebabi, Philipp Mahr, Christophe Bobda, M...