11030 search results - page 31 / 2206 » Generative Sound Models |
ECOOP
2008
Springer
13 years 9 months ago
2008
Springer
Wildcards are a complex and subtle part of the Java type system, present since version 5.0. Although there have been various formalisations and partial type soundness results conce...
ICMCS
1999
IEEE
13 years 12 months ago
1999
IEEE
Though several approaches in sound processing are denoted as 3D audio very few of them generate high quality 3D audio information which allows listeners to exactly locate sound so...
CSFW
2006
IEEE
14 years 1 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
JCS
2010
13 years 6 months ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
ICYCS
2008
IEEE
14 years 1 months ago
2008
IEEE
The tactile effects of a sound-specific vibration interface is presented in this paper. The sound-specific vibration interface generates a vibration according to a sound stream us...