In this paper, we introduce a projection technique that aims to place points representing individual images in a two-dimensional visualization space so that proximity in this space reflects some sort of similarity between the images. This visualization technique enables users to employ their visual ability to evaluate the significance of metadata as well as the characteristics of classification...

We consider sequential and concurrent probabilistic processes and propose a general notion of fairness with respect to probabilistic choice, which allows to express various notions of fairness such as process fairness and event fairness. We show the soundness of proving the validity of qualitative properties of probabilistic processes under fairness constraints in the sense that whenever all fa...

We consider sequential and concurrent probabilistic processes and propose a general notion of fairness with respect to probabilistic choice, which allows to express various notions of fairness such as process fairness and event fairness. We show the soundness of proving the validity of qualitative properties of probabilistic processes under fairness constraints in the sense that whenever all fa...