In this paper, WP, present a new motion estimation algorithm which determines an initial motion vector and a search window adaptively in video codecs which code and transmit data in a block scan order. The proposed method is based on the motion info
This paper presents new approaches in character- izing and segmenting the content of video. These approaches are developed based upon the pattern analysis of spatio-temporal slices. While traditional approaches to motion sequence analysis tend to fo
JoÅNel Ouaknine and James Worrell Abstract. Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model checking problems for frag
Temporal logics provide a generic logical framework for modelling and reasoning about time and temporal aspects of the world. While stemming from philosophical considerations and discussions, temporal logics have become over the past 50 years very u
