Loading [MathJax]/extensions/TeX/euler_ieee.js
Towards the verification and validation of online learning systems: general framework and applications | IEEE Conference Publication | IEEE Xplore

Towards the verification and validation of online learning systems: general framework and applications

Publisher: IEEE

Abstract:

Online adaptive systems cannot be certified using traditional testing and proving methods, because these methods rely on assumptions that do not hold for such systems. In...View more

Abstract:

Online adaptive systems cannot be certified using traditional testing and proving methods, because these methods rely on assumptions that do not hold for such systems. In this paper, we discuss a framework for reasoning about online adaptive systems, and see how this framework can be used to perform the verification of these systems. In addition to the framework, we present some preliminary results on concrete neural network models.
Date of Conference: 05-08 January 2004
Date Added to IEEE Xplore: 26 February 2004
Print ISBN:0-7695-2056-1
Publisher: IEEE
Conference Location: Big Island, HI

References

References is not available for this document.