Motivated by the fact that in images, there is usually a presence of local strongly oriented harmonics, a representation which is both well-localised in frequency and orientation ...
This paper presents an area-filtering algorithm for antialiasing technique of computer graphics images. It can be applied to low-resolution image, which the aliasing effect is mor...
Most grey level thresholding methods produce good results only when the illumination of the image is homogeneous. An automatic binarization technique suitable for images containing...
Volodymyr V. Kindratenko, Boris A. Treiger, Piet J...
The use of omnidirectional vision has increased during these past years. It provides a very large field of view. Nevertheless, omnidirectional images contain significant radial di...
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed -calculus. Inhabitants (terms) of these ty...