This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
Abstract. Visual perception of transformation invariance, such as translation, rotation and scaling, is one of the important functions of processing visual information in the Brain...
Erlang is a concurrent functional language designed for developing large-scale, distributed, fault-tolerant systems. The primary implementation of the language is the Erlang/OTP s...
Daniel Luna, Mikael Pettersson, Konstantinos F. Sa...
After an oil spill it is essential to know if an area is going to be affected by the oil slicks generated. The system presented here forecasts the presence or not of oil slicks in...
Juan M. Corchado, Aitor Mata, Juan Francisco de Pa...
This paper presents the results of two separate studies into electronic book production. The Visual Book (Landoni, 1997) which explored the importance of the visual component of t...