Abstract. In our research we are studying how to combine modelling, metamodelling, and reflection to systematically generate middleware configurations that can be targeted at diffe...
Nelly Bencomo, Gordon S. Blair, Geoff Coulson, Tha...
A new approach to automatically extract the main features in color fundus images are proposed in this paper. Optic disk is localized by the principal component analysis (PCA) and ...
Linking 3D photorealistic and virtual reality models with contents of bibliographic repositories and resources is needed for archeological and historical analyses, public understan...
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
In this paper, an input/output system identification technique for the Wiener-Hammerstein model and its feedback extension is proposed. In the proposed framework, the identificatio...