Comparing the MVC and PAC architectures: a formal perspective.

Andrew Hussey David A. Carrington

Published in: IEE Proc. Softw. Eng. (1997)

Keyphrases

formal model
sample size
neural network
upper bound
sample complexity
formal methods
pac learning
special case
formal specification
noise tolerant