A Generalized Kalman Filter for Fixed Point Approximation and Efficient Temporal-Difference Learning

By Choi David   Roy Benjamin  

Discrete Event Dynamic Systems, Vol. 16, Iss. 2, 2006-04 ,pp. : 207-239

Springer Publishing Company

Access to resources Recommend Favorite

Formalization of Fixed-Point Arithmetic in HOL

By Akbarpour Behzad   Tahar Sofiène   Dekdouk Abdelkader  

Formal Methods in System Design, Vol. 27, Iss. 1-2, 2005-09 ,pp. : 173-200

Springer Publishing Company

Access to resources Recommend Favorite

On the greatest fixed point of a set functor

By Adamek J.   Koubek V.  

Theoretical Computer Science, Vol. 150, Iss. 1, 1995-10 ,pp. : 57-75

Elsevier

Access to resources Recommend Favorite

The power of the ''always'' operator in first-order temporal logic

By Kaminski M.   Chung K.W.  

Theoretical Computer Science, Vol. 160, Iss. 1, 1996-06 ,pp. : 271-281

Elsevier

Access to resources Recommend Favorite

A Variadic Extension of Curry's Fixed-Point Combinator

By Goldberg Mayer  

LISP and Symbolic Computation, Vol. 18, Iss. 3-4, 2005-12 ,pp. : 371-388

Springer Publishing Company

Access to resources Recommend Favorite