2333 search results - page 106 / 467 » Recursive Computational Depth |
ICALP
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...
LICS
1997
IEEE
14 years 1 months ago
1997
IEEE
The partial real line is the continuous domain of compact real intervals ordered by reverse inclusion. The idea is that singleton intervals represent total real numbers, and that ...
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...
DAC
2000
ACM
14 years 10 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...