625 search results - page 52 / 125 » Generalized Ring Signatures |
115
click to vote
TPHOL
1999
IEEE
15 years 7 months ago
1999
IEEE
We present a development of Universal Algebra inside Type Theory, formalized using the proof assistant Coq. We define the notion of a signature and of an algebra over a signature. ...
115
Voted
PDPTA
2004
15 years 4 months ago
2004
Highly available storage uses replication and other redundant storage to recover from a component failure. If parity data calculated from an erasure correcting code is not updated...
116
click to vote
MICCAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We propose a shape descriptor for 3D ear impressions, derived from a comprehensive set of anatomical features. Motivated by hearing aid (HA) manufacturing, the selection ...
138
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
The problem of blind source separation by spatial processing is considered for convolutive mixtures of narrowband sources received by a sensor array. Multipath propagation is due ...
130
click to vote
MOBISYS
2008
ACM
16 years 2 months ago
2008
ACM
Mobile users of computation and communication services have been rapidly adopting battery-powered mobile handhelds, such as PocketPCs and SmartPhones, for their work. However, the...