11030 search results - page 62 / 2206 » Generative Sound Models |
ICEIS
2008
IEEE
14 years 4 months ago
2008
IEEE
CONSTRAINTS
2007
13 years 9 months ago
2007
The physical gestures that operate music instruments are responsible for the qualities of the sound being produced in a performance. Gestural information is thereby crucial for a ...
POPL
2009
ACM
14 years 10 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
ISSRE
2008
IEEE
14 years 4 months ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
CAV
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. We present a new method for the generation of linear invariants which reduces the problem to a non-linear constraint solving problem. Our method, based on Farkas’ Lemma...