Efficient Scene Text Detection in Images with Network Pruning and Knowledge Distillation | IEEE Conference Publication | IEEE Xplore