3670 search results - page 60 / 734 » Linear Recursive Functions |
113
Voted
MP
2011
14 years 5 months ago
2011
Abstract. Using the least element solution of the P0 and Z matrix linear complementarity problem (LCP), we define an implicit solution function for linear complementarity constrai...
119
click to vote
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
118
click to vote
IANDC
2010
15 years 27 days ago
2010
This article shows how different functional interpretations can be combined into what we term hybrid functional interpretations. These hybrid interpretations work on the setting o...
101
Voted
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— In this paper, we prove that a discrete-time switched linear system is exponentially stabilizable if and only if there exists a stationary hybrid-control law that consists of a...
103
click to vote
AAMAS
2007
Springer
15 years 2 months ago
2007
Springer
In this paper, we investigate the use of parallelization in reinforcement learning (RL), with the goal of learning optimal policies for single-agent RL problems more quickly by us...