We propose a family of learning algorithms based on a new form of regularization that allows us to exploit the geometry of the marginal distribution. We focus on a semi-supervised...
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
This paper discusses the requirements on future radio access and, based on the requirements, proposes a framework for such a system. The proposed system based on orthogonal frequen...
In this paper, we present a general computational and operational framework for the Fuzzy Cognitive Network (FCN), which is a direct extension of Fuzzy Cognitive Maps (FCM). The pr...
Theodoros L. Kottas, Yiannis S. Boutalis, Manolis ...