179 search results - page 2 / 36 » Functional Framework for Sound Synthesis |
CMMR
2005
Springer
13 years 10 months ago
2005
Springer
The pureCMusic (pCM++) framework gives the possibility to write a piece of music in terms of an algorithmic-composition-based program -also controlled by data streaming from extern...
ICASSP
2011
IEEE
12 years 8 months ago
2011
IEEE
Methods like Wave Field Synthesis aim at the synthesis of a given desired sound field over a large receiver area. Practical limitations lead to considerable artifacts commonly re...
CSFW
2010
IEEE
13 years 8 months ago
2010
IEEE
Nowadays it is widely accepted to formulate the security of a protocol carrying out a given task via the "trusted-party paradigm," where the protocol execution is compar...
ENTCS
2002
13 years 4 months ago
2002
The HM(X) framework is a constraint-based type framework with built-in letpolymorphism. This paper establishes purely syntactic type soundness for the framework, treating an exten...
CONCUR
2005
Springer
13 years 10 months ago
2005
Springer
Usually, ranking function synthesis and invariant generation oop with integer variables involves abstracting the loop to have real variables. Integer division and modulo arithmetic...