Sciweavers

1302 search results - page 99 / 261
» Soundness in the Public-Key Model
Sort
View
FOAL
2009
ACM
16 years 1 months ago
A type system for functional traversal-based aspects
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
Bryan Chadwick, Karl J. Lieberherr

Book
1331views
17 years 3 months ago
Physical Audio Signal Processing
"Delay effects, such as phasing, flanging, chorus, and artificial reverberation, provide an excellent starting point for the subject of digital waveguide modeling because both...
Julius O. Smith III
ICRA
2009
IEEE
111views Robotics» more  ICRA 2009»
16 years 1 months ago
Interactive learning of the acoustic properties of household objects
— Human beings can perceive object properties such as size, weight, and material type based solely on the sounds that the objects make when an action is performed on them. In ord...
Jivko Sinapov, Mark Wiemer, Alexander Stoytchev
ICASSP
2011
IEEE
14 years 10 months ago
Sparse coding of auditory features for machine hearing in interference
A key problem in using the output of an auditory model as the input to a machine-learning system in a machine-hearing application is to find a good feature-extraction layer. For ...
Richard F. Lyon, Jay Ponte, Gal Chechik
PKC
2012
Springer
219views Cryptology» more  PKC 2012»
13 years 9 months ago
On the Security of Dynamic Group Signatures: Preventing Signature Hijacking
We identify a potential weakness in the standard security model for dynamic group signatures which appears to have been overlooked previously. More specifically, we highlight tha...
Yusuke Sakai, Jacob C. N. Schuldt, Keita Emura, Go...