3670 search results - page 134 / 734 » Linear Recursive Functions |
140
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
136
Voted
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
122
Voted
ENTCS
2008
15 years 5 months ago
2008
: By the Riesz Representation Theorem for locally compact Hausdorff spaces, for every positive linear functional I on K(X) there is a measure
144
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
Although every terminating loop has a ranking function, not every loop has a ranking function of a restricted form, such as a lexicographic tuple of polynomials over program variab...
149
click to vote
CDC
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract-- We consider reinforcement learning, and in particular, the Q-learning algorithm in large state and action spaces. In order to cope with the size of the spaces, a functio...