Sciweavers

3670 search results - page 23 / 734
» Linear Recursive Functions
Sort
View
MSCS
2010
74views more  MSCS 2010»
15 years 18 days ago
Selection functions, bar recursion and backward induction
Martín Hötzel Escardó, Paulo Ol...
122
Voted
ICDT
1995
ACM
91views Database» more  ICDT 1995»
15 years 5 months ago
Some Positive Results for Boundedness of Multiple Recursive Rules
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...
Ke Wang
125
Voted
INFORMATICALT
1998
96views more  INFORMATICALT 1998»
15 years 1 months ago
State Estimation of Dynamic Systems in the Presence of Time-Varying Outliers in Observations
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 ...
Rimantas Pupeikis
JUCS
2007
120views more  JUCS 2007»
15 years 2 months ago
Compile-time Computation of Polytime Functions
: 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...
Emanuele Covino, Giovanni Pani, Daniele Scrimieri