A spoken language generation system has been developed that learns to describe objects in computer-generated visual scenes. The system is trained by a ‘show-and-tell’ procedure in which visual scenes are paired with natural language descriptions. A set of learning algorithms acquire probabilistic structures which encode the visual semantics of phrase structure, word classes, and individual word...

A spoken language generation system has been developed that learns to describe objects in computer-generated visual scenes. The system is trained by a ‘show-and-tell’ procedure in which visual scenes are paired with natural language descriptions. Learning algorithms acquire probabilistic structures which encode the visual semantics of phrase structure, word classes, and individual words. Using ...

This research discusses how the U.S. launched its propaganda of American heroism through film as medium. study is classified qualitative research. The technical analysis data used in this from Miles and Huberman. source information or for are Jon Favreau's Iron Man 1 (2008) 2 (2010) films. captured scenes dialogues 2. A scene can consist several frames dialogs that describe storylines a scene. ...

in this note‎, ‎we aim to show that several known generalizations of frames are equivalent to the continuous frame‎ ‎defined by ali et al‎. ‎in 1993‎. ‎indeed‎, ‎it is shown that these generalizations can be considered as an operator between two hilbert spaces‎.

The Berkeley FrameNet project aims at implementing Fillmore’s Frame Semantics program on a broad empirical basis. The syntactic environments of words in corpora are systematically aligned with the semantic frames evoked by the words. It is Fillmore’s vision that such a collection of valency data can pave the way for an empirically grounded theory of the syntax-semantics interface. In this artic...

In recent years combinations of tense and modality have moved into the focus of logical research. From a philosophical point of view, logical systems combining tense and modality are of interest because these logics have a wide field of application in original philosophical issues, for example in the theory of causation, of action, etc. But until now only methods yielding completeness results f...

We consider the non-orthodox proof rules of hybrid logic from the viewpoint of topological semantics. Topological semantics is more general than Kripke semantics. We show that the hybrid proof rule BG is topologically not sound. Indeed, among all topological spaces the BG rule characterizes those that can be represented as a Kripke frame (i.e., the Alexandroff spaces). We also demonstrate that,...

Generalized frames are an extension of frames in Hilbert  spaces and  Hilbert $C^*$-modules. In this paper, the concept ''Similar" for modular $g$-frames is introduced and all of operator duals (ordinary duals) of similar $g$-frames with respect to each other are characterized. Also, an operator dual of a given $g$-frame is studied where $g$-frame is constructed by a primary $g$-frame and an or...

A completeness theorem is established for logics with congruence endowed with general semantics (in the style of general frames). As a corollary, completeness is shown to be preserved by fibring logics with congruence provided that congruence is retained in the resulting logic. The class of logics with equivalence is shown to be closed under fibring and to be included in the class of logics wit...

Partial frames provide a rich context in which to do pointfree structured and unstructured topology. A small collection of axioms of an elementary nature allows one to do much traditional pointfree topology, both on the level of frames or locales, and that of uniform or metric frames. These axioms are sufficiently general to include as examples bounded distributive...