Sciweavers

424 search results - page 1 / 85
» Productivity of Stream Definitions
Sort
View
FCT
2007
Springer
14 years 2 months ago
Productivity of Stream Definitions
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 ...
Jörg Endrullis, Clemens Grabmayer, Dimitri He...
ADCM
2004
59views more  ADCM 2004»
13 years 10 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
SIAMMAX
2010
104views more  SIAMMAX 2010»
13 years 5 months ago
The Legendre-Fenchel Conjugate of the Product of Two Positive Definite Quadratic Forms
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...
Yun-Bin Zhao
SIAMMAX
2011
92views more  SIAMMAX 2011»
13 years 1 months ago
A Condition for Convexity of a Product of Positive Definite Quadratic Forms
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...
Minghua Lin, Gord Sinnamon
ICDE
2009
IEEE
135views Database» more  ICDE 2009»
15 years 17 days ago
Forward Decay: A Practical Time Decay Model for Streaming Systems
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...
Graham Cormode, Vladislav Shkapenyuk, Divesh Sriva...