Lect4
How tests and proofs impede one another: The need for always-on static and dynamic feedback Michael Ernst joint work with Michael Bayne University of Washington.
Abstract This poster presents results of three studies dealing with application of ARTMAP neural networks for classification of remotely sensed multispectral.
Hyper computation
Always-available static and dynamic feedback: Unifying static and dynamic typing