Manually segmenting and labeling objects in video sequences is quite tedious, yet such annotations are valuable for learning-based approaches to object and activity recognition. While automatic label propagation can help, existing methods simply propagate annotations from arbitrarily selected frames (e.g., the first one) and so may fail to best leverage the human effort invested. We define an a...

Irreflexive frames sometimes play a crucial role in the theory of modal logics, although the class of all such frames that consist of only irreflexive points can not be determined by any set of modal formulas. For instance, the modal logic determined by the frame of one irreflexive point is one of the two coatoms of the lattice of all normal modal logics. Another important result is that every ...

Introduction Motion estimation (ME) and motion compensation (MC) are both essential to video compression [1], which have also been successfully applied to dynamic MRI with reduced k-space acquisition as baseline estimation adjunct for enhancing image reconstruction. [2] However, ME and MC have not been exploited as a standalone approach for direct dynamic MRI reconstruction. The current main ch...

Extending and improving the concepts: woven frame and fusion frames, we introduce the notion of woven fusion frames in Hilbert spaces. We clarify our extension and generalization by some examples of woven frames and woven fusion frames. Also, we present some properties of woven fusion frames, especially we show that for given two woven frames of sequences, one can build woven fusion frames and ...

We report on a new paradigm of information display that greatly extends the utility and versatility of current optoelectronic displays. The main innovation is to let a display of high refresh rate optically broadcast so-called atom frames, which are designed through non-negative matrix factorization to form bases for a class of images, and different viewers perceive selfintended images by using...

DNA encompassing the structural genes of an Escherichia coli [NiFe] hydrogenase has been cloned and sequenced. The genes were identified as those encoding the large and small subunits of hydrogenase isozyme 1 based on NH2-terminal sequences of purified subunits (kindly provided by K. Francis and K. T. Shanmugam). The structural genes formed part of a putative operon that contained four addition...

In Operating Systems courses, instructors often assign case studies that involve programming to enhance course objectives. One topic that usually arouses students' interest is Belady's anomaly. In virtual memory systems with demand paging, the page fault rate of a process varies with the number of memory frames allocated to the process. When an increase in allocated frames leads to an increase ...

In this article, we present a method for constructing wavelet frames of L2(R) of the type {| detAj |ψ(Ajx − xj,k) : j ∈ J, k ∈ K} on irregular lattices of the form X = {xj,k ∈ R : j ∈ J, k ∈ K}, and with an arbitrary countable family of invertible d × d matrices {Aj ∈ GLd(R) : j ∈ J}. Possible applications include image and video compression, speech coding, image and digital data transmission, ...

In [4], Majer and Pelǐs proposed a relevant logic for epistemic agents, providing a novel extension of the relevant logic R with a distinctive epistemic modality K, which is at the one and the same time factive (Kφ → φ is a theorem) and an existential normal modal operator (K(φ ∨ ψ) → (Kφ ∨ Kψ) is also a theorem). The intended interpretation is that Kφ holds (relative to a situation s) if there...

Automatic Audio Segmentation aims at extracting information about type of audio i.e. silence, clean speech or speech with noise, music etc. The aim of this thesis is to find and extract different features of audio, segment the audio and combine them to form single type of audio. In this work, the audio signal is initially decomposed into non-overlapping frames. Then these frames are decomposed ...