Semi-Automatic Colorization Pipeline for Anime Characters and its Evaluation in Production | IEEE Conference Publication | IEEE Xplore