Coral Identification and Counting with an Autonomous Underwater Vehicle | IEEE Conference Publication | IEEE Xplore