We prove Kleene theorems for two subclasses of labelled product systems which are inspired from well-studied subclasses of 1bounded Petri nets. For product T-systems we define a c...
Many embedded systems are implemented with a set of alternative function variants to adapt the system to different applications or environments. This paper proposes a novel approa...
We study the invertibility of M-variate polynomial (respectively : Laurent polynomial) matrices of size N by P. Such matrices represent multidimensional systems in various setting...
— We present a general method for integrating visual components into a multi-modal cognitive system. The integration is very generic and can work with an arbitrary set of modalit...
Alen Vrecko, Danijel Skocaj, Nick Hawes, Ales Leon...
We propose a set of design dimensions that constitute the axes of a taxonomy for ambient information systems. The dimensions are based on an investigation of a wide range of resea...
Martin Tomitsch, Karin Kappel, Andreas Lehner, Tho...