Symbolic description and visual querying of image sequences using spatio-temporal logic | IEEE Journals & Magazine | IEEE Xplore