1302 search results - page 43 / 261 » Soundness in the Public-Key Model |
166
click to vote
IROS
2008
IEEE
16 years 21 days ago
2008
IEEE
— A biologically inspired azimuthal broadband sound localisation system is introduced to simulates the functional organisation of the human auditory midbrain up to the inferior c...
168
click to vote
SP
2006
IEEE
16 years 8 days ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
133
click to vote
GW
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. As may be seen at concerts and in various everyday listening situations, people often make spontaneous gestures when listening to music. We believe these gestures are int...
186
click to vote
ICASSP
2007
IEEE
16 years 18 days ago
2007
IEEE
The goal of computational auditory scene analysis (CASA) is to create computer systems that can take as input a mixture of sounds and form packages of acoustic evidence such that ...
158
click to vote
ICONIP
2007
15 years 7 months ago
2007
Current automobiles’ safety systems based on video cameras and movement sensors fail when objects are out of the line of sight. This paper proposes a system based on pulsed neura...