The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does not capture that evaluation of type-expressions i...
Abstract. The AGRE model proposed by Ferber et al. is based on an interesting generalization of both physical and social environments. In this paper we revisit the AGRE model and e...
PEPA has recently been extended with functional rates [1][2]. These functions allow the specification of indirect interaction between components in such a way that the rate of an a...
The Johnson-Lindenstrauss random projection lemma gives a simple way to reduce the dimensionality of a set of points while approximately preserving their pairwise distances. The m...
We propose a probabilistic segmentation scheme, which is widely applicable to some extend. Besides the segmentation itself our model incorporates object specific shading. Dependent...