Sciweavers

6039 search results - page 28 / 1208
» The Function Space of an Activity
Sort
View
POPL
2012
ACM
12 years 3 months ago
Higher-order functional reactive programming in bounded space
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
Neelakantan R. Krishnaswami, Nick Benton, Jan Hoff...
DCC
2004
IEEE
14 years 7 months ago
Universal Coding of Function Spaces as a Model for Signal Compression
We address the problem of signal compression, basing on the mathematical model, in which a set of all possible signals is considered as a function space with a metric . The main a...
Boris Ryabko, Jaakko Astola
EUROCRYPT
2010
Springer
13 years 11 months ago
Constructing Verifiable Random Functions with Large Input Spaces
We present a family of verifiable random functions which are provably secure for exponentially-large input spaces under a non-interactive complexity assumption. Prior construction...
Susan Hohenberger, Brent Waters
ADCM
2004
59views more  ADCM 2004»
13 years 7 months ago
Strictly Positive Definite Functions on a Real Inner Product Space
If f(t) = k=0 aktk converges for all t IR with all coefficients ak 0, then the function f(< x, y >) is positive definite on H
Allan Pinkus
ADCM
2010
95views more  ADCM 2010»
13 years 8 months ago
Pairs of oblique duals in spaces of periodic functions
Abstract. We construct non-tight frames in finite-dimensional spaces consisting of periodic functions. In order for these frames to be useful in practice one needs to calculate a d...
Ole Christensen, Say Song Goh