We propose parametric geons as a volumetric description of object components for qualitative object recognition. Parametric geons are seven qualitative shape types deened by parameterized equations which control the size and degree of tapering and bending. The models provide global shape constraints which make model recovery procedures robust against noise and minor variations in object shape. ...

A parametric level set method (PaLS) is implemented for image reconstruction for hyperspectral diffuse optical tomography (DOT). Chromophore concentrations and diffusion amplitude are recovered using a linearized Born approximation model and employing data from over 100 wavelengths. The images to be recovered are taken to be piecewise constant and a newly introduced, shape-based model is used a...

We consider systems of linear equations, where the elements of the matrix and of the right-hand side vector are linear functions of interval parameters. We study parametric AE solution sets, which are defined by universally and existentially quantified parameters, and the former precede the latter. Based on a recently obtained explicit description of such solution sets, we present three approac...

This paper introduces a framework of parametric descriptive directional types for constraint logic programming (CLP). It proposes a method for locating type errors in CLP programs and presents a prototype debugging tool. The main technique used is checking correctness of programs w.r.t. type speciications. The approach is based on a generalization of known methods for proving correctness of log...

This paper introduces a parametric level-set method for tomographic reconstruction of partially discrete images. Such images consist of a continuously varying background and an anomaly with a constant (known) grey-value. We express the geometry of the anomaly using a level-set function, which we represent using radial basis functions. We pose the reconstruction problem as a bi-level optimizatio...

We investigate parametric interval linear systems of equations. The main result is a generalization of the Bauer–Skeel and the Hansen–Bliek–Rohn bounds for this case, comparing and refinement of both. We show that the latter bounds are not provable better, and that they are also sometimes too pessimistic. The presented form of both methods is suitable for combining them into one to get a more e...