Validating connectionist implementations | IET Conference Publication | IEEE Xplore