IRPruneDeXt: Efficient Infrared Small Target Detection via Musical Wavelet-Regularized Channel Pruning | IEEE Journals & Magazine | IEEE Xplore