3670 search results - page 136 / 734 » Linear Recursive Functions |
141
Voted
ICMLA
2008
15 years 6 months ago
2008
Dimension reduction techniques have been successfully applied to face recognition and text information retrieval. The process can be time-consuming when the data set is large. Thi...
172
click to vote
JDCTA
2010
14 years 11 months ago
2010
This paper presents a new method for solving a class of infinite horizon nonlinear optimal control problems. In this method, first the original optimal control problem is transfor...
131
click to vote
SIAMNUM
2010
14 years 11 months ago
2010
The quantization based filtering method (see [13], [14]) is a grid based approximation method to solve nonlinear filtering problems with discrete time observations. It relies on o...
118
click to vote
ASIAN
2003
Springer
15 years 10 months ago
2003
Springer
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automated verification usually fails for functions with accumulating ar...
CSDA
2010
15 years 5 months ago
2010
The implementation of Bayesian predictive procedures under standard normal models is considered. Two distributions are of particular interest, the K-prime and Ksquare distribution...