In this paper, we present a general theory of adaptive mathematical morphology (AMM) in the Euclidean space. The proposed theory preserves the notion of a structuring element, whi...
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
It is important nowadays to provide guidance for individuals or organizations to improve their knowledge according to their objectives, especially in the case of incomplete cogniti...
In this paper, we review different context classification systems that have been used to define elements of context. Although existing classification systems cover various types of...
We consider applications of probabilistic techniques in the framework of algorithmic game theory. We focus on three distinct case studies: (i) The exploitation of the probabilistic...