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

Document Type

Conference Proceeding

Publication Date

12-1-2004

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.

Identifier

12344326525 (Scopus)

Publication Title

Proceedings of the Hawaii International Conference on System Sciences

ISSN

10603425

First Page

4857

Last Page

4866

Volume

37

This document is currently not available here.

Share

COinS