1302 search results - page 40 / 261 » Soundness in the Public-Key Model |
107
click to vote
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
CORR
1998
Springer
15 years 1 months ago
1998
Springer
This paper presents trainable methods for generating letter to sound rules from a given lexicon for use in pronouncing out-ofvocabulary words and as a method for lexicon compressi...
125
click to vote
TASLP
2010
14 years 8 months ago
2010
Sound source localization (SSL) is an essential task in many applications involving speech capture and enhancement. As such, speaker localization with microphone arrays has receive...
116
click to vote
TASLP
2010
14 years 8 months ago
2010
Abstract--A new method for the estimation of multiple concurrent pitches in piano recordings is presented. It addresses the issue of overlapping overtones by modeling the spectral ...
121
click to vote
IVA
2009
Springer
15 years 6 months ago
2009
Springer
This paper presents an architecture for an intelligent virtual agent that imitates human drumming behaviour. Through imitation, the agent models the user-specific variations that ...