625 search results - page 52 / 125 » Generalized Ring Signatures |
TPHOL
1999
IEEE
13 years 12 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. ...
PDPTA
2004
13 years 9 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...
MICCAI
2010
Springer
13 years 6 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 ...
ICASSP
2011
IEEE
12 years 11 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 ...
MOBISYS
2008
ACM
14 years 7 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...