1816 search results - page 37 / 364 » Formal Concepts of Learning Systems Validation in Use |
FM
2003
Springer
14 years 1 months ago
2003
Springer
This paper describes the lessons we learned over a thirteen year period while helping to develop the shutdown systems for the nuclear generating station at Darlington, Ontario, Can...
CIA
2006
Springer
14 years 6 days ago
2006
Springer
Abstract. We present a method to improve the positive examples selection by teaching agents in a multi-agent system in which a team of agent peers teach concepts to a learning agen...
ITS
1998
Springer
14 years 21 days ago
1998
Springer
Abstract: This article reports on the application of general cognitive measures to describe and order the knowledge base of radiological images, aimed at the teaching of visual con...
PASTE
2004
ACM
14 years 1 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
JCP
2008
13 years 8 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...