Results 51 to 60 of about 2,148,404 (272)
Learning the Best Pooling Strategy for Visual Semantic Embedding [PDF]
Computer Vision and Pattern Recognition, 2020 Visual Semantic Embedding (VSE) is a dominant approach for vision-language retrieval, which aims at learning a deep embedding space such that visual data are embedded close to their semantic text labels or descriptions.
Jiacheng Chen +4 more
semanticscholar +1 more source
A Neighbourhood Semantics for the Logic TK
Principia: An International Journal of Epistemology, 2011 The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK.
Hércules de Araújo Feitosa +1 more
doaj +3 more sources
Topos Semantics for Higher-Order Modal Logic [PDF]
, 2014 We define the notion of a model of higher-order modal logic in an arbitrary elementary topos $\mathcal{E}$. In contrast to the well-known interpretation of (non-modal) higher-order logic, the type of propositions is not interpreted by the subobject ...
Awodey, Steve +2 more
core +1 more source
In-flight modal identification by operational modal analysis
Journal of the Brazilian Society of Mechanical Sciences and Engineering, 2023 Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Elsa M. Cárdenas +3 more
openaire +2 more sources
Post Completeness in Congruential Modal Logics [PDF]
, 2016 Well-known results due to David Makinson show that there are exactly two Post complete normal modal logics, that in both of them, the modal operator is truth-functional, and that every consistent normal modal logic can be extended to at least one of them.
Fritz, Peter
core
Dretske on Closure of Knowledge and Its Rereading in Justification Logic [PDF]
حکمت و فلسفه, 2020 The K axiom in the logic of knowledge expresses this epistemological approach that knowledge is closed under known implications. For Dretske, for two reasons, the closure of knowledge cannot be tautology: first, the knowledge operator does not penetrate ...
Masoud Alvand
doaj +1 more source
Indicative Conditionals and Dynamic Epistemic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant overlap with ideas in modal logic and dynamic epistemic logic.
Wesley H. Holliday, Thomas F. Icard III
doaj +1 more source
Uncertainties on modal parameters by operational modal analysis [PDF]
Mechanics & Industry, 2014 Lorsqu’on fait une analyse modale opérationnelle sur des structures en fonctionnement, sans connaître les forces de perturbation, ni le nombre de fréquences importantes qui excitent le système mécanique, on doit se poser la question sur la validité de l’estimation des paramètres modaux (notamment le taux d’amortissement) et sur la précision des ...
Vu, Viet-Hung, Thomas, Marc
openaire +2 more sources
Iconic Gestures for Robot Avatars, Recognition and Integration with Speech
Frontiers in Psychology, 2016 Co-verbal gestures are an important part of human communication, improving its efficiency and efficacy for information conveyance. One possible means by which such multi-modal communication might be realised remotely is through the use of a tele-operated
Paul Adam Bremner, Ute eLeonards
doaj +1 more source