424 search results - page 1 / 85 » Productivity of Stream Definitions |
FCT
2007
Springer
13 years 8 months ago
2007
Springer
We give an algorithm for deciding productivity of a large and natural class of recursive stream definitions. A stream definition is called `productive' if it can be evaluated ...
ADCM
2004
13 years 4 months ago
2004
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
SIAMMAX
2010
12 years 11 months ago
2010
It is well-known that the Legendre-Fenchel conjugate of a positive definite quadratic form can be explicitly expressed as another positive definite quadratic form, and that the con...
SIAMMAX
2011
12 years 7 months ago
2011
A sufficient condition for the convexity of a finite product of positive definite quadratic forms is given in terms of the condition numbers of the underlying matrices. When only...
ICDE
2009
IEEE
14 years 6 months ago
2009
IEEE
Temporal data analysis in data warehouses and data streaming systems often uses time decay to reduce the importance of older tuples, without eliminating their influence, on the res...