Mining Port Congestion Indicators from Big AIS Data | IEEE Conference Publication | IEEE Xplore