Personalized search and browsing is increasingly vital especially for enterprises to able to reach their customers. Key challenge in supporting personalization is the need for ric...
In many fields of automated information processing it becomes crucial to consider together imprecise, uncertain or inconsistent information. Argumentation theory is a suitable fr...
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou
Exploratory learning supports creative thinking, allowing learners to control their own learning process, whilst it provides them with help and guidance when necessary. This pedago...
— We develop a general framework for design of receivers for the wireless relay channel. We derive the optimum detectors for various degrees of channel state information (CSI) at...