STFormer: Spatial-Temporal-Aware Transformer for Video Instance Segmentation | IEEE Journals & Magazine | IEEE Xplore