Supporting semi-automatic marble thin-section image segmentation with machine learning | IEEE Conference Publication | IEEE Xplore