Sciweavers

9370 search results - page 19 / 1874
» An Abstract Notion of Application
Sort
View
TASLP
2011
13 years 4 months ago
On the Information Geometry of Audio Streams With Applications to Similarity Computing
Abstract—This paper proposes methods for information processing of audio streams using methods of information geometry. We lay the theoretical groundwork for a framework allowing...
Arshia Cont, Shlomo Dubnov, Gérard Assayag
CRYPTO
2007
Springer
106views Cryptology» more  CRYPTO 2007»
14 years 4 months ago
Simulatable VRFs with Applications to Multi-theorem NIZK
Abstract. This paper introduces simulatable verifiable random functions (sVRF). VRFs are similar to pseudorandom functions, except that they are also verifiable: corresponding to...
Melissa Chase, Anna Lysyanskaya
PROVSEC
2009
Springer
14 years 4 months ago
Anonymous Signatures Revisited
Abstract. We revisit the notion of the anonymous signature, first formalized by Yang, Wong, Deng and Wang [12], and then further developed by Fischlin [6] and Zhang and Imai [13]. ...
Vishal Saraswat, Aaram Yun
JSYML
2010
81views more  JSYML 2010»
13 years 4 months ago
Groupoids, covers, and 3-uniqueness in stable theories
Abstract. Building on Hrushovski's work in [5], we study definable groupoids in stable theories and their relationship with 3-uniqueness and finite internal covers. We introdu...
John Goodrick, Alexei Kolesnikov
ICALP
2009
Springer
14 years 10 months ago
The Theory of Stabilisation Monoids and Regular Cost Functions
Abstract. We introduce the notion of regular cost functions: a quantitative extension to the standard theory of regular languages. We provide equivalent characterisations of this n...
Thomas Colcombet