602 search results - page 61 / 121 » Recursive in A Generic Real |
176
click to vote
TCOS
2008
15 years 4 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
132
click to vote
TMI
2008
15 years 4 months ago
2008
Abstract--This paper introduces and analyzes a linear minimum mean square error (LMMSE) estimator using a Rician noise model and its recursive version (RLMMSE) for the restoration ...
150
click to vote
ISAAC
2010
Springer
15 years 2 months ago
2010
Springer
We study polynomial time complexity of type 2 functionals. For that purpose, we introduce a first order functional stream language. We give criteria, named well-founded, on such pr...
157
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
121
click to vote
JMLR
2010
14 years 11 months ago
2010
We consider the problem of tactile discrimination, with the goal of estimating an underlying state parameter in a sequential setting. If the data is continuous and highdimensional...