5269 search results - page 134 / 1054 » order 2007 |
127
click to vote
CONCURRENCY
2007
15 years 4 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
149
click to vote
AUTOMATICA
2005
15 years 4 months ago
2005
It has been argued that the frequency domain accuracy of high model-order estimates obtained on the basis of closed loop data is largely invariant to whether direct or indirect ap...
133
click to vote
JSYML
2007
15 years 4 months ago
2007
We consider embeddings of structures which preserve spectra: if g : M → S with S computable, then M should have the same Turing degree spectrum (as a structure) that g(M) has (a...
131
click to vote
JMIV
2007
15 years 4 months ago
2007
High-quality image inpainting methods based on nonlinear higher-order partial differential equations have been developed in the last few years. These methods are iterative by natur...
146
click to vote
JMIV
2007
15 years 4 months ago
2007
In image denoising, many researchers have tried for several years to combine wavelet-like approaches and optimization methods (typically based on the total variation minimization)...