Performances evaluation of image processing intermediate results in video based surveillance systems is extremely important due to the variety of approaches to this task. In this ...
Franco Oberti, Andrea Teschioni, Carlo S. Regazzon...
Classical models for motion detection with artificial neural networks are inspired in physiological data of simple visual systems. Local speed estimationis a problem that involves...
Francisco J. Vico, F. J. Garrido, Francisco Sandov...
This paper describes the development of a new model of agent emotion elicitation called Nemesys. It enhances interfaces with emotional and social information. Nemesys is based on ...
Manfred Eckschlager, Regina Bernhaupt, Manfred Tsc...
For formal verification of hardware Satisfiability Modulo Theory (SMT) solvers are increasingly applied. Today’s state-of-the-art SMT solvers use different techniques like ter...
Abstract. Usually, MAS design and implementation involves a coordination model that structures agent interactions and an infrastructure in charge of enacting it. We propose the ter...