Identification of Tidal Energy Resources using Satellite Altimetry Data for Indonesian Seas | IEEE Conference Publication | IEEE Xplore