ReSyRIS - A Real-Synthetic Rock Instance Segmentation Dataset for Training and Benchmarking | IEEE Conference Publication | IEEE Xplore