Transition from research to operations: ARKTOS-a knowledge-based sea ice classification system | IEEE Conference Publication | IEEE Xplore