11030 search results - page 75 / 2206 » Generative Sound Models |
FASE
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
ASM
2010
ASM
14 years 1 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
VTC
2010
IEEE
13 years 8 months ago
2010
IEEE
— This paper presents results of wide band channel measurements at 2.53 GHz for a representative urban macro cell environment in Ilmenau, Germany. The extensive channel sounding ...
ISMIR
2003
Springer
14 years 2 months ago
2003
Springer
Despite the “fuzzy” nature of musical similarity, which varies from one person to another, perceptual low level features combined with appropriate classification schemes have...
TCS
2011
13 years 4 months ago
2011
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...