3670 search results - page 23 / 734 » Linear Recursive Functions |
IANDC
2002
13 years 9 months ago
2002
MSCS
2010
13 years 8 months ago
2010
ICDT
1995
ACM
14 years 1 months ago
1995
ACM
Following results are sketched in this extended abstract: (1) Datalog recursive programs where each rule has at most one subgoal called unit recursions are shown to be bounded, wit...
INFORMATICALT
1998
13 years 9 months ago
1998
Abstract. In the previous papers (Masreliez and Martin, 1977; Novoviˇcova, 1987; Schick and Mitter, 1994) the problem of recursive estimation of linear dynamic systems parameters ...
JUCS
2007
13 years 9 months ago
2007
: We investigate the computational power of C++ compilers. In particular, it is known that any partial recursive function can be computed at compile time, using the template mechan...