Sciweavers

4098 search results - page 30 / 820
» Sound mobility models
Sort
View
CSFW
2005
IEEE
15 years 5 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
15 years 12 hour 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
15 years 4 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
IROS
2007
IEEE
124views Robotics» more  IROS 2007»
15 years 6 months ago
Temporal scaling of upper body motion for Sound feedback system of a dancing humanoid robot
— This paper proposes a method to model the modification of upper body motion of dance performance based on the speed of played music. When we observed structured dance motion p...
Takaaki Shiratori, Shunsuke Kudoh, Shinichiro Naka...
ASIACRYPT
2006
Springer
15 years 3 months 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