Computationally-Efficient Vision Transformer for Medical Image Semantic Segmentation Via Dual Pseudo-Label Supervision | IEEE Conference Publication | IEEE Xplore