Results 31 to 40 of about 1,125,786 (343)
Kripke Completeness of Infinitary Predicate Multimodal Logics [PDF]
Notre Dame Journal of Formal Logic, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yoshihito Tanaka
openalex +3 more sources
Interpreting Reo Circuits as PDL models
O Que Nos Faz Pensar, 2022 Reo is a coordination-based language with the proposal of connecting different systems and interfaces. It aims to develop communication between different systems with a high level of abstraction and without many restrictions.
Erick Grilo +2 more
doaj +1 more source
Multimodal Logic Programming Using Equational and Order-Sorted Logic
Theoretical Computer Science, 1992 Modal logics augment predicate logic with the two modal operators \(\square\) (necessarily) and \(\lozenge\) (possibly). By means of these operators, systems with states (``worlds'') can be described very naturally in logic. Multimodal logics have several pairs of these operators. Typical interpretations of a modal formula ``\(\square_ i\Phi\)'' are: ``
Françoise Clérin-Debart +2 more
semanticscholar +3 more sources
Image Captioning Optimization Strategy Based on Deep Learning [PDF]
Jisuanji kexue, 2023 Image captioning aims to describe image content with grammatically correct sentences and automatically generate text.Image captioning involves computer vision and natural language processing,which is a classic task in multimodal field.In recent years,a ...
ZHOU Ziyi, XIONG Hailing
doaj +1 more source
CALM: Contextual Analog Logic with Multimodality [PDF]
In this work, we introduce Contextual Analog Logic with Multimodality (CALM). CALM unites symbolic reasoning with neural generation, enabling systems to make context-sensitive decisions grounded in real-world multi-modal data. Background: Classic bivalent logic systems cannot capture the nuance of human decision-making.
Maxwell J. Jacobson +2 more
openalex +3 more sources
Heliyon, 2021 Collaborative Beamforming (CBF) is an essential tool towards increasing transmission range in Wireless Sensor Networks (WSNs). Owing to the random and complex nature of WSNs, development and use of improved metaheuristic algorithms in CBF is of essence ...
Robert Macharia Maina +2 more
doaj +1 more source
Modeling multimodal integration with event logic charts [PDF]
Proceedings of the 14th ACM international conference on Multimodal interaction, 2012 In this paper we present a novel approach to the combined modeling of multimodal fusion and interaction management. The approach is based on a declarative multimodal event logic that allows the integration of inputs distributed over multiple modalities in accordance to spatial, temporal and semantic constraints. In conjunction with a visual state chart
Gregor Mehlmann, Elisabeth André
openalex +3 more sources
Do You See What I Mean? Visual Resolution of Linguistic Ambiguities [PDF]
, 2015 Understanding language goes hand in hand with the ability to integrate complex contextual information obtained via perception. In this work, we present a novel task for grounded language understanding: disambiguating a sentence given a visual scene which
Barbu, Andrei +4 more
core +4 more sources
Multimodal Learning Reveals Plants’ Hidden Sensory Integration Logic [PDF]
Abstract Plants integrate complex environmental signals through interconnected molecular networks, but the fundamental rules governing this sensory integration remain unknown. Studying tomato roots interacting with fungal symbionts, we discover how microbial effectors systematically reprogram plant sensory systems by coordinating ...
Kelly L. Vomo-Donfack +4 more
openalex +2 more sources
Continuous Markovian Logics - Axiomatization and Quantified Metatheory [PDF]
Logical Methods in Computer Science, 2012 Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic) state-spaces, henceforth called continuous Markov processes (CMPs).
Radu Mardare +2 more
doaj +1 more source