3670 search results - page 131 / 734 » Linear Recursive Functions |
130
Voted
CIE
2007
Springer
15 years 11 months ago
2007
Springer
Concerning the set of rooted binary trees, one shows that Higman’s Lemma and Dershowitz’s recursive path ordering can be used for the decision of its maximal order type accordi...
131
click to vote
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
For the reach tube of a linear time-varying system with ellipsoidal bounds on the control variable consider the following approximation problem. Find a tight ellipsoid-valued tube...
143
click to vote
SIAMCO
2008
15 years 4 months ago
2008
We investigate the asymptotic properties of a recursive kernel density estimator associated with the driven noise of a linear regression in adaptive tracking. We provide an almost ...
123
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
We study efficient algorithms for soft-input soft-output (SISO) encoding of convolutional codes. While the BCJR algorithm has been suggested for SISO encoding, we show that a for...
152
Voted
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...