VERIPS: Verified Pseudo-label Selection for Deep Active Learning | IEEE Conference Publication | IEEE Xplore