11030 search results - page 13 / 2206 » Generative Sound Models |
UTP
2010
13 years 5 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
MICAI
2010
Springer
13 years 5 months ago
2010
Springer
Music is a form of expression. Since machines have limited capabilities in this sense, our main goal is to model musical composition process, to allow machines to express themselve...
CRYPTO
2001
Springer
13 years 12 months ago
2001
Springer
The public-key model for interactive proofs has proved to be quite effective in improving protocol efficiency [CGGM00]. We argue, however, that its soundness notion is more subtle...
IJON
2000
13 years 7 months ago
2000
This work presents a biologically motivated neuronal model for detecting the elevation of unfamiliar natural sound sources using monoaural cues, based on head-related-transfer fun...
IFIP
2009
Springer
13 years 5 months ago
2009
Springer
Cryptographic protocols can only be secure under certain inequality assumptions. Axiomatizing these inequalities explicitly is problematic: stating too many inequalities may impair...