179 search results - page 2 / 36 » Functional Framework for Sound Synthesis |
202
click to vote
CMMR
2005
Springer
15 years 12 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...
162
Voted
ICASSP
2011
IEEE
14 years 10 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...
179
Voted
CSFW
2010
IEEE
15 years 9 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...
134
Voted
ENTCS
2002
15 years 6 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...
161
Voted
CONCUR
2005
Springer
15 years 12 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...