Defining Software by Continuous, Smooth Functions.

Richard A. DeMillo Richard J. Lipton

Published in: IEEE Trans. Software Eng. (1991)

Keyphrases

smooth functions
closely related
image processing
input space
neural network
cost function
image features
receptive fields