GLeSI: A system for extraction of glacial lakes using satellite imagery. - Jagadeesh Thati; Samit Ari (Concurr. Comput. Pract. Exp., 2022)