Sciweavers

11030 search results - page 40 / 2206
» Generative Sound Models
Sort
View
MM
2004
ACM
206views Multimedia» more  MM 2004»
14 years 2 months ago
Seeing sounds: exploring musical social networks
Information gathering from multimedia retrieval systems is aided by effective visualization, but the degree to which visualization is effective depends in part on the way the cont...
Piotr D. Adamczyk
ESORICS
2004
Springer
14 years 2 months ago
A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
Michael Backes
IJCNN
2007
IEEE
14 years 3 months ago
A Sound Localization and Recognition System using Pulsed Neural Networks on FPGA
— Pulsed neurons are suitable for processing time series data, like sound signals, and can be easy implemented in hardware. In this paper, we propose an aural information process...
Kaname Iwasa, Mauricio Kugler, Susumu Kuroyanagi, ...
ESORICS
2007
Springer
14 years 2 months ago
Adaptive Soundness of Static Equivalence
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
Steve Kremer, Laurent Mazaré
ICASSP
2010
IEEE
13 years 9 months ago
Sound enhancement using sparse approximation with speclets
This paper addresses an innovative approach to informed enhancement of damaged sound. It uses sparse approximations with a learned dictionary of atoms modeling the main components...
Manuel Moussallam, Pierre Leveau, Si-Mohamed Aziz ...