The study of the c$k$-fusions frames shows that the emphasis on the measure spaces introduces a new idea, although some similar properties with the discrete case are raised. Moreover, due to the nature of measure spaces, we have to use new techniques for new results. Especially, the topic of the dual of frames  which is important for frame applications, have been specified  completely for the c...

In this article, we consider pair frames in Banach spaces and   introduce Banach pair frames. Some various concepts in the frame theory such as frames, Schauder frames, Banach frames and atomic decompositions are considered as   special kinds of (Banach) pair frames.  Some frame-like inequalities  for (Banach)  pair frames are presented. The elements that participant  in the construction of (Ba...

The paper presents a preliminary solution to a long-standing problem in the foundations of well-founded semantics for logic programs. The problem addressed is this: which logic can be considered adequate for well-founded semantics (WFS) in the sense that its minimal models (appropriately defined) coincide with the partial stable models of a logic program? We approach this problem by identifying...

Linear algorithms are presented for computing the 3-D structure and motion of vehicles in traffic scenes under the ground-plane constraint. Point matches in multiple image frames are used. The algorithms first determine the inter-frame rotation angles, then the point depths, and finally the inter-frame translations. All computations are linear and require no parameter tuning. The algorithms are...

The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighborhood frames with constant domains and we offer a series of new completeness results for salient classical systems of first order modal logic. Among other results we show that it is possible to prove strong completeness...

We introduce a new semantics for modal predicate logic, with respect to which a rich class of first-order modal logics is complete, namely all normal first-order modal logics that are extensions of free quantified K. This logic is defined by combining positive free logic with equality PFL . = and the propositional modal logic K. We then uniformly construct—for each modal predicate logic L—a can...

The paper describes the implementation of the Levin’s syntactic-semantic classification of English verbs onto verbs in Croatian language. The current Croatian valence verb lexicon (CROVALLEX) containing 1739 verbs associated with 5118 valence frames was enriched with 72 broad semantic classes with two further levels of subdivision (173 classes in total). The research results show that such clas...

Videos such as movies or TV episodes usually need to divide the long storyline into cohesive units, i.e., scenes, facilitate understanding of video semantics. The key challenge lies in finding boundaries scenes by comprehensively considering complex temporal structure and semantic information. To this end, we introduce a novel Context-Aware Transformer (CAT) with self-supervised learning framew...

A b s t r a c t. Minimal Negation is defined within the basic positive relevance logic in the relational ternary semantics: B+. Thus, by defining a number of subminimal negations in the B+ context, principles of weak negation are shown to be isolable. Complete ternary semantics are offered for minimal negation in B+. Certain forms of reductio are conjectured to be undefinable (in ternary frames...

Fusion frames are a generalized form of frames in Hilbert spaces. In the present paper we introduce Bessel subfusion sequences and subfusion frames and we investigate the relationship between their operation. Also, the definition of the orthogonal complement of subfusion frames and the definition of the completion of Bessel fusion sequences are provided and several results related with these no...