Sciweavers

79 search results - page 12 / 16
» Non-local Regularization of Inverse Problems
Sort
View
LICS
2007
IEEE
14 years 2 months ago
A Contraction Method to Decide MSO Theories of Deterministic Trees
In this paper we generalize the contraction method, originally proposed by Elgot and Rabin and later extended by Carton and Thomas, from labeled linear orderings to colored determ...
Angelo Montanari, Gabriele Puppis
PADL
2004
Springer
14 years 1 months ago
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
Martin Erwig, Zhe Fu
CIMAGING
2009
274views Hardware» more  CIMAGING 2009»
13 years 8 months ago
Image zooming with contour stencils
We introduce "contour stencils" as a simple method for detecting the local orientation of image contours and apply this detection to image zooming. Our approach is motiv...
Pascal Getreuer
ICPR
2000
IEEE
14 years 8 months ago
Estimation of Adaptive Parameters for Satellite Image Deconvolution
The deconvolution of blurred and noisy satellite images is an ill-posed inverse problem, which can be regularized within a Bayesian context by using an a priori model of the recon...
André Jalobeanu, Josiane Zerubia, Laure Bla...
CCECE
2006
IEEE
14 years 1 months ago
Imaging of Electrode Movement and Conductivity Change in Electrical Impedance Tomography
Electrical Impedance Tomography (EIT) applies and measures electrical energy on the boundary of a medium to produce an image of its internal impedance distribution. In many medica...
Camille Gomez-Laberge, Andy Adler