The original rough-set model is primarily concerned with the approximations of sets described by a single equivalence relation on a given universe. With granular computing point of...
Many studies have been conducted on supporting communication in home and office spaces, but relatively few studies have explored supporting communication in large-scale public spa...
Abstract. We propose an efficient alignment method for textured DooSabin subdivision surface templates. A variation of the inverse compositional image alignment is derived by intro...
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
The establishment of a computational framework of roles contributes effectively to the management of instance models because it provides us with a useful policy for treatment of vi...