A spatio-temporal logic for image sequence coding and retrieval

The problem of retrieving image sequences from databases is of main importance in the context of advanced multimedia applications. In this paper, an original formalism is proposed for the description of the changes that occur in image sequences. The concepts of temporal logic are extended so as to comprise a unified framework for handling sequences of images.<>