Sciweavers

1302 search results - page 56 / 261
» Soundness in the Public-Key Model
Sort
View
TCC
2004
Springer
173views Cryptology» more  TCC 2004»
15 years 11 months ago
Soundness of Formal Encryption in the Presence of Active Adversaries
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
Daniele Micciancio, Bogdan Warinschi
FOCS
2010
IEEE
15 years 4 months ago
Adaptive Hardness and Composable Security in the Plain Model from Standard Assumptions
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...
Ran Canetti, Huijia Lin, Rafael Pass
IROS
2008
IEEE
161views Robotics» more  IROS 2008»
16 years 24 days ago
Segmenting acoustic signal with articulatory movement using Recurrent Neural Network for phoneme acquisition
— This paper proposes a computational model for phoneme acquisition by infants. Human infants perceive speech sounds not as discrete phoneme sequences but as continuous acoustic ...
Hisashi Kanda, Tetsuya Ogata, Kazunori Komatani, H...
FGR
2004
IEEE
167views Biometrics» more  FGR 2004»
15 years 10 months ago
A New Instrumented Approach For Translating American Sign Language Into Sound And Text
This paper discusses a novel approach for capturing and translating isolated gestures of American Sign Language into spoken and written words. The instrumented part of the system ...
Jose L. Hernandez-Rebollar, Nicholas Kyriakopoulos...
CGF
2008
102views more  CGF 2008»
15 years 6 months ago
Sound Tracing: Rendering Listener Specific Acoustic Room Properties
We present an acoustic rendering approach visualizing the listener-specific contribution of frequency-dependent pressure fields on a scene geometry with acoustic reflection and sc...
Jens Bellmann, Frank Michel, Eduard Deines, Martin...