1302 search results - page 46 / 261 » Soundness in the Public-Key Model |
154
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
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...
171
click to vote
CSFW
2005
IEEE
15 years 12 months ago
2005
IEEE
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...
162
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
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...
171
click to vote
CAISE
2001
Springer
15 years 10 months ago
2001
Springer
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...
160
click to vote
IROS
2007
IEEE
16 years 17 days ago
2007
IEEE
— 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...