Tide Height Estimation on Southern Coast of Java Island by Ensemble Kalman Filter | IEEE Conference Publication | IEEE Xplore