3670 search results - page 38 / 734 » Linear Recursive Functions |
ACTA
2007
13 years 9 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
ESOP
2003
Springer
14 years 2 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— In this paper we recursively estimate the magnetic and electric potential of the Earth’s Arctic region. We construct estimates based on data gathered from over 85 magnetomete...
ICIP
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a computationally efficient demosaicing algorithm based on a luminance-chrominance model of the Color Filter Array (CFA) image. We show that the chrominance information ...
SIAMJO
2008
13 years 9 months ago
2008
A class of trust-region methods is presented for solving unconstrained nonlinear and possibly nonconvex discretized optimization problems, like those arising in systems governed by...