3670 search results - page 2 / 734 » Linear Recursive Functions |
EUROCAST
1997
Springer
13 years 11 months ago
1997
Springer
We show how to use recursive function theory to prove Turing universality of finite analog recurrent neural nets, with a piecewise linear sigmoid function as activation function. W...
TSP
2008
13 years 7 months ago
2008
This paper presents a novel and mathematically rigorous Bayes recursion for tracking a target that generates multiple measurements with state dependent sensor field of view and clu...
IDA
1999
Springer
13 years 11 months ago
1999
Springer
A method for the linear discrimination of two classes has been proposed by us in 3 . It searches for the discriminant direction which maximizes the distance between the projected c...
WCE
2007
13 years 8 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
12 years 10 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...