A knowledge-based approach to the detection, tracking and classification of target formations in infrared image sequences | IEEE Conference Publication | IEEE Xplore