Applying the Dynamic Region Connection Calculus to exploit geographic knowledge in maritime surveillance | IEEE Conference Publication | IEEE Xplore