Semantic Segmentation Optimization Algorithm Based on Knowledge Distillation and Model Pruning | IEEE Conference Publication | IEEE Xplore