We introduce a new order-topological semantics for the positive modal mu-calculus over modal compact Hausdorff spaces, which are generalizations of descriptive frames. We define Sahlqvist sequents in this language, prove Esakia’s lemma and Sahlqvist preservation theorem for this semantics. We show that every Sahlqvist sequent has a frame correspondent in first-order logic with fixed-point opera...

Automatic video segmentation is the first and necessary step for organizing a long video file into smaller units for subsequent browsing and retrieval. The smallest basic unit is shot–a contiguous sequence of frames recorded from a single camera operation. Relevant shots are then grouped into a high-level unit called scene that conveys some meaning to viewers. In this paper, we first give a str...

In this paper, we propose an implementation method, for video coding at low bit rates, which combines MPEG-4 2D meshes and H.263 video encoding. Methods for objectbased compression and composition of natural and synthetic video content are emerging in standards like MPEG-4. In this work, we only concern about the implementation of 2D uniform meshes for coding of natural scenes. In order to achi...

Fast and eecient storage, browing, indexing, and retrieval of video is necessary for the development of various multimedia database applications. Given that video is typically stored eeciently in a compressed format, if we can analyze the compressed representation directly, we can avoid the costly overhead of decompressing and operating at the pixel level. Compressed domain parsing of video has...

Most current video retrieval systems use shot as the basic unit for information organization and access. A shot, however, models only a visually contiguous sequence of video frames with no coherent semantic meanings. On the other hand, viewers tend to “view” video contents in terms of episodes or scenes. In cinematography, scene is the basic story unit that the directors use to compose and conv...

This paper introduces algorithms for determining the “relevance” of each frame (and objects within the frame) to the scenes present in a given video sequence. Specifically, we introduce a rank number which determines the importance of each frame in contributing to the scenes in a video sequence. The rank number is computed based on the temporal duration of motion-tracked objects and pixels in v...

Conventional approaches to image de-fencing use multiple adjacent frames for segmentation of fences in the reference image and are limited to restoring images of static scenes only. In this paper, we propose a de-fencing algorithm for images of dynamic scenes using an occlusion-aware optical flow method. We divide the problem of image de-fencing into the tasks of automated fence segmentation fr...

Recognizing dynamic scenes is one of the fundamental problems in scene understanding, which categorizes moving scenes such as a forest fire, landslide, or avalanche. While existing methods focus on reliable capturing of static and dynamic information, few works have explored frame selection from a dynamic scene sequence. In this paper, we propose dynamic scene recognition using a deep dual desc...

Research has shown that Americans focus more on focal objects of a scene while East Asians attend to the surrounding environment (Nisbett, 2003; Nisbett & Miyamoto, 2005). The panels of comic books—the sequential frames of images— highlight aspects of a scene comparably to how attention focuses on parts of a spatial array. Thus, comparison of American and Japanese comics can inform cross-cultur...

Mature visual experience is tuned by inputs to the developing visual system. However, little is known about the low-level statistics of available visual input as infants interact with the world in rapidly changing ways. Recent studies of the contents of infant-perspective scenes (sampled from a corpus of over 5 million head camera images) indicate that these contents change dramatically over th...