Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
Context-aware computing in location-aware environments demands the combination of real world position with a computational world model to infer context. We present a novel approach...
This paper addresses the problem of human gait recognition by applying model (in)validation techniques. The main idea is to associate to each class of gaits a nominal model and a ...
Cecilia Mazzaro, Mario Sznaier, Octavia I. Camps, ...
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
Transfer function models for the descriptionof physical systems have recently been introduced to the field of multidimensional digital signal processing. They provide an alternati...