Sciweavers

536 search results - page 37 / 108
» Deconstructing process isolation
Sort
View
COORDINATION
2009
Springer
14 years 9 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
ECCV
1990
Springer
14 years 10 months ago
Finding Geometric and Relational Structures in an Image
Abstract We present a method for extracting geometric and relational structures from raw intensity data. On one hand, low-level image processing extracts isolated features. On the ...
Radu Horaud, Francoise Veillon, Thomas Skordas
ICIP
2005
IEEE
14 years 10 months ago
New corner detection algorithm by tangent and vertical axes and case table
In this paper, we introduce a new algorithm for corner detection. Instead of calculating the gradients along x and y-axes, which is the common step of many existed algorithms, we ...
Soo-Chang Pei, Jian-Jiun Ding
ICIP
2005
IEEE
14 years 10 months ago
Gradation approximation for vector based compression of comic images
In this paper, we propose a method to vectorize comic images including halftone dots. Our method can prevent the jaggy and moire phenomena when the images are enlarged and shrank....
Kei Kawamura, Yuki Yamamoto, Hiroshi Watanabe
ICIP
2003
IEEE
14 years 10 months ago
Contour detection operators based on surround inhibition
We propose a biologically motivated computational step, called non-classical receptive field (non-CRF) inhibition, to improve contour detection in images of natural scenes. We aug...
Cosmin Grigorescu, Nicolai Petkov, Michel A. Weste...