The main focus of this paper is the shape representation and registration using vector level set functions. This powerful representation is more flexible than conventional signed ...
We propose textural features, which are invariant to illumination spectrum and extremely robust to illumination direction. They require only a single training image per texture an...
The shapes occurring in the images are important in the content-based image retrieval. In this paper we introduce a new Fourier-based descriptor for the characterization of the sh...
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
In dynamic heterogeneous environments, such as Pervasive Computing, context-aware adaptation is a key concept to meet the varying requirements of different clients. To enable such...