New technologies in humanitarian demining operations | IEEE Conference Publication | IEEE Xplore