Sciweavers

2409 search results - page 254 / 482
» Building Components from Functions
Sort
View
DSRT
2008
IEEE
16 years 29 days ago
Observability Checking to Enhance Diagnosis of Real Time Electronic Systems
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...
Manel Khlif, Mohamed Shawky
ICA
2007
Springer
16 years 20 days ago
Perception of Transformation-Invariance in the Visual Pathway
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...
Wenlu Yang, Liqing Zhang, Libo Ma
ERLANG
2004
ACM
15 years 12 months ago
HiPE on AMD64
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...
IADIS
2008
15 years 8 months ago
A Case-Based Reasoning System to Forecast the Presence Of Oil Slicks
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...
RIAO
2000
15 years 7 months ago
The Visual Book and the Hyper-TextBook: Two Electronic Books One Lesson?
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...
Monica Landoni, Fabio Crestani, Massimo Melucci