The ability to identify and present the most essential aspects of time-varying data is critically important in many areas of science and engineering. This paper introduces an impor...
In this paper, we propose a novel method, FingerSense to enhance the expressiveness of physical buttons. In a FingerSense enabled input device, a pressing action is differentiated...
Abstract. This paper deals with the theory and applications of spatially-variant mathematical morphology. We formalize the definition of spatially variant dilation/erosion and ope...
We describe a translation from Rebeca, an actorbased language, to mCRL2, a process algebra enhanced with data types. The main motivation is to exploit the verification tools and ...
Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mous...
— In this paper, based on a passivity framework, admittance-type and hybrid-type delay-compensated communication channel models are introduced, which warrant different bilateral ...
Arash Aziminejad, Mahdi Tavakoli, Rajnikant V. Pat...