Sciweavers

3670 search results - page 128 / 734
» Linear Recursive Functions
Sort
View
119
Voted
SIAMCO
2002
81views more  SIAMCO 2002»
15 years 4 months ago
Stability of Planar Switched Systems: The Linear Single Input Case
Abstract. We study the stability of the origin for the dynamical system x(t) = u(t)Ax(t)+(1u(t))Bx(t), where A and B are two 2
Ugo V. Boscain
NIPS
2001
15 years 6 months ago
Rates of Convergence of Performance Gradient Estimates Using Function Approximation and Bias in Reinforcement Learning
We address two open theoretical questions in Policy Gradient Reinforcement Learning. The first concerns the efficacy of using function approximation to represent the state action ...
Gregory Z. Grudic, Lyle H. Ungar
CONCUR
2005
Springer
15 years 10 months ago
Termination Analysis of Integer Linear Loops
Usually, ranking function synthesis and invariant generation oop with integer variables involves abstracting the loop to have real variables. Integer division and modulo arithmetic...
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
ISMVL
2007
IEEE
80views Hardware» more  ISMVL 2007»
15 years 11 months ago
Spectral Analysis of Special Properties of Ternary Functions
This paper shows that particular classes of linear combinations of the coefficients of the circular Chrestenson-Vilenkin spectrum of ternary functions characterize whether cofacto...
Claudio Moraga, Milena Stankovic, Suzana Stojkovic
BMVC
1996
15 years 6 months ago
Analysing Error of Fit Functions for Ellipses
We describe several established error of fit (EOF) functions for use in the least square fitting of ellipses, and introduce a further four new EOFs. Four measures are given for as...
Paul L. Rosin