2843 search results - page 312 / 569 » Interpolation by geometric algorithm |
151
click to vote
LPAR
2007
Springer
15 years 5 months ago
2007
Springer
Proof nets are a parallel syntax for sequential proofs of linear logic, firstly introduced by Girard in 1987. Here we present and intrinsic (geometrical) characterization of proof...
PCM
2007
Springer
15 years 5 months ago
2007
Springer
In this paper, we propose a new technique for extracting salient regions in an image. Identification of salient regions is useful for region/object based image processing. Previous...
ICCV
2005
IEEE
15 years 5 months ago
2005
IEEE
Camera Calibration with one-dimensional objects is based on an algebraic constraint on the image of the absolute conic. We will give an alternative derivation to this constraint, ...
COCOON
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The worst-case complexity of an implementation of Quicksort depends on the random number generator that is used to select the pivot elements. In this paper we estimate th...
IBPRIA
2005
Springer
15 years 5 months ago
2005
Springer
We present in this paper the application of mathematical morphology operators through a transformation of the Cartesian image into another geometric space, i.e. pol-log image. The ...