1302 search results - page 74 / 261 » Soundness in the Public-Key Model |
197
click to vote
CMMR
2009
Springer
15 years 10 months ago
2009
Springer
This work deals with the sonification of a quantum mechanical system and the processes that occur as a result of its quantum mechanical nature and interactions with other systems....
193
click to vote
ISMIR
2005
Springer
15 years 12 months ago
2005
Springer
We describe the MusicMiner system for organizing large collections of music with databionic mining techniques. Low level audio features are extracted from the raw audio data on sh...
136
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...
449
click to vote
BPM
2011
Springer
14 years 6 months ago
2011
Springer
As order dependencies between process tasks can get complex, it is easy to make mistakes in process model design, especially behavioral ones such as deadlocks. Notions such as soun...
197
click to vote
ICA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In recent years, there has been a great deal of work in modeling audio using non-negative matrix factorization and its probabilistic counterparts as they yield rich model...