An Image Enhancement Method for Gas Leak Detection Based on Infrared Imaging * | IEEE Conference Publication | IEEE Xplore