1816 search results - page 36 / 364 » Formal Concepts of Learning Systems Validation in Use |
DATE
2004
IEEE
14 years 6 days ago
2004
IEEE
During last years, the Time-Triggered Architecture (TTA) has been gaining acceptance as a generic architecture for highly dependable real-time systems. It is now being used to imp...
TC
2010
13 years 6 months ago
2010
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
ICTAI
2008
IEEE
14 years 2 months ago
2008
IEEE
Ontologies are a well-motivated formal representation to model knowledge needed to extract and encode data from text. Yet, their tight integration with Information Extraction (IE)...
MM
2010
ACM
13 years 7 months ago
2010
ACM
In the context of computer-assisted plant identification we are facing challenging information retrieval problems because of the very high within-class variability and of the lim...
ECRTS
2000
IEEE
14 years 27 days ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...