Clock networks contribute a significant fraction of dynamic power and can be a limiting factor in high-performance CPUs and SoCs. The need for multi-objective optimization over a l...
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
ProLiV - Animated Process-modeler of Complex (Computational) Linguistic Methods and Theories - is a fully modular, flexible, XML-based stand-alone Java application, used for compu...
We propose a novel statistical method for motion detection and background maintenance for a mobile observer. Our method is based on global motion estimation and statistical backgro...
In this work semantic features are used to improve the results of the camera selection. These semantic features are group action, person action and person speaking. For this purpo...