Semi-supervised label propagation for multi-source remote sensing image change detection