Efficient Target Detection from Infrared Image Sequences Using the Sequential Monte Carlo Method