1143 search results - page 128 / 229 » Mental models of recursion |
84
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— In order to reduce the computational load of the recursive least squares (RLS) algorithm, a decomposition based least squares algorithm is developed for non-uniformly sampled m...
86
Voted
AML
2008
15 years 25 days ago
2008
We generalize ordinary register machines on natural numbers to machines whose registers contain arbitrary ordinals. Ordinal register machines are able to compute a recursive bounde...
113
Voted
CORR
2002
Springer
15 years 14 days ago
2002
Springer
We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of -theories. Relying on the notion of easy intersection type theory we succes...
TIT
2002
15 years 10 days ago
2002
We consider the problem of estimating the feedback coefficients of a linear feedback shift register (LFSR) based on noisy observations. In the current approach, the coefficients a...
107
click to vote
JCT
2010
14 years 11 months ago
2010
We find the winning strategy for a class of truncation games played on words. As a consequence of the present author’s recent results on some of these games we obtain new formul...