TreeFormer: A Semi-Supervised Transformer-Based Framework for Tree Counting From a Single High-Resolution Image | IEEE Journals & Magazine | IEEE Xplore