Sciweavers

11030 search results - page 41 / 2206
» Generative Sound Models
Sort
View
CSFW
2005
IEEE
14 years 2 months ago
A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
Michael Backes, Markus Dürmuth
ICASSP
2010
IEEE
13 years 9 months ago
HMM-based separation of acoustic transfer function for single-channel sound source localization
This paper presents a sound source (talker) localization method using only a single microphone, where a HMM (Hidden Markov Model) of clean speech is introduced to estimate the aco...
Ryoichi Takashima, Tetsuya Takiguchi, Yasuo Ariki
CAISE
2001
Springer
14 years 1 months ago
Relaxed Soundness of Business Processes
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
Juliane Dehnert, Peter Rittgen
ASIACRYPT
2006
Springer
14 years 14 days ago
Simulation-Sound NIZK Proofs for a Practical Language and Constant Size Group Signatures
Non-interactive zero-knowledge proofs play an essential role in many cryptographic protocols. We suggest several NIZK proof systems based on prime order groups with a bilinear map...
Jens Groth
ICASSP
2009
IEEE
14 years 18 days ago
The expected amplitude of overlapping partials of harmonic sounds
In analyzing polyphonic signals, the handling of overlapping partials is one important problem. The assumptions usually made for partial overlaps are the additivity of the linear ...
Chunghsin Yeh, Axel Roebel