1302 search results - page 35 / 261 » Soundness in the Public-Key Model |
104
click to vote
SCN
2008
Springer
15 years 1 months ago
2008
Springer
While recent timed-release encryption (TRE) schemes are implicitly supported by a certificateless encryption (CLE) mechanism, the security models of CLE and TRE differ and there is...
ICA
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we describe a methodology for model-based single channel separation of sounds. We present a sparse latent variable model that can learn sounds based on their distribu...
103
click to vote
CCS
2009
ACM
15 years 8 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
109
click to vote
IEEEIAS
2009
IEEE
14 years 11 months ago
2009
IEEE
We developed a system that detects abnormal sound from sound signal observed by a surveillance microphone. Our system learns the "normal sound" from observation of the m...
ICPR
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we present an approach to matching heart sounds based on modeling the morphological variations of audio envelopes through a constrained nonrigid translation transfo...