TransDE: A Transformer and Double Encoder Network for Medical Image Segmentation | IEEE Conference Publication | IEEE Xplore