Calibrating an Ice Sheet Model Using High-Dimensional Binary Spatial Data | AMiner