Data Reduction Techniques Applied on Automatic Identification System Data. | AMiner