Random Walks based Multi-Image Segmentation: Quasiconvexity Results and GPU-based Solutions