266 search results - page 2 / 54 » Linear Recursion |
PARLE
1993
14 years 1 months ago
1993
: An arithmetic approach, such as the Level-Finding method described in this paper for evaluating linear recursive queries in deductive database systems provides great potential fo...
BIRTHDAY
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is ess...
WCE
2007
13 years 11 months ago
2007
Abstract— The problem of estimating the intensity process of a doubly stochastic Poisson process is analyzed. Using covariance information, a recursive linear minimum mean-square...
FOSSACS
2011
Springer
13 years 1 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
AUTOMATICA
2005
13 years 9 months ago
2005
The paper concerns identification of the Wiener system consisting of a linear subsystem followed by a static nonlinearity f (