Results 281 to 290 of about 1,125,786 (343)

Inferring Place-Object Relationships by Integrating Probabilistic Logic and Multimodal Spatial Concepts

IEEE/SICE International Symposium on System Integration, 2023
We propose a novel method that integrates probabilistic logic and multimodal spatial concepts to enable a robot to acquire the relationships between places and objects in a new environment with a few learning times. Using predicate logic with probability
Shoichi Hasegawa, Akira Taniguchi, Y. Hagiwara, Lotfi El Hafi, T. Taniguchi   +4 more
semanticscholar   +1 more source

Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection

, 2015
We present a satisfiability-preserving embedding of coalition logic into a normal modal logic. An advantage of standard, normal, and modal logics is a well-understood theoretical foundation and the availability of tools for automated verification and reasoning.
Thomas Ågotnes, N. Alechina
semanticscholar   +2 more sources

Multimodal Instrumentations as Fatigue Detection Using Fuzzy Logic Method

Journal of Biomimetics, Biomaterials and Biomedical Engineering, 2022
Fatigue is a condition experienced by a person that causes a decrease in a person's vitality and productivity. Fatigue can be characterized by slowed reaction time and fatigue. People’s condition is a significant factor in driving safety.
Elsa Puspa Nikmatuzaroh, Rachmad Setiawan, Nada Fitrieyatul Hikmah   +2 more
semanticscholar   +1 more source

Multimode quantum optical logic

Conference on Coherence and Quantum Optics, 2007
We embed qubits within simple two-mode states and effect a Fredkin gate by a resonant multi-photon interaction with an atom.
M S Everitt, B M Garraway
openaire   +1 more source

Tumor microenvironment-activatable boolean logic supramolecular nanotheranostics based on a pillar[6]arene for tumor hypoxia imaging and multimodal synergistic therapy

, 2021
Supramolecular construction of nanotheranostics is a highly challenging and demanding task for tumor precision diagnosis and therapy. In this study, inspired by specific microenvironments and the abnormal metabolic path of tumors, we skillfully ...
Xin Liu, Chi Meng, Guiqing Ji, Ji Liu, Peng Zhu, Jianqiang Qian, Shunyao Zhu, Yanan Zhang, Yong Ling   +8 more
semanticscholar   +1 more source

Logic-RAG: Augmenting Large Multimodal Models with Visual-Spatial Knowledge for Road Scene Understanding

IEEE International Conference on Robotics and Automation
Large multimodal models (LMMs) are increasingly integrated into autonomous driving systems for user interaction. However, their limitations in fine-grained spatial reasoning pose challenges for system interpretability and user trust.
Imran Kabir, Md. Alimoor Reza, S. Billah
semanticscholar   +1 more source

A Hybrid Fault Tree-Fuzzy Logic Model for Risk Analysis in Multimodal Freight Transport

Syst.
Multimodal freight transport systems, integrating maritime, rail, and road modes, play a vital role in modern logistics but face elevated operational, human, and environmental risks due to their complexity and interdependencies.
C. Popa, Ovidiu Stefanov, Ionela Goia, F. Nistor   +3 more
semanticscholar   +1 more source

Multimo dal Logics of Products of Topologies

Studia Logica, 2006
If modal logics \(L_1,L_2\) with modalities \(\square_1,\square_2\) are determined by classes \(\mathbb{F}_1,\mathbb{F}_{2}\) of Kripke frames, then \(L_1 \times L_2\) is determined by the class of products \(\mathbb{F}_1 \times \mathbb{F}_{2}= \langle W_1 \times W_2,R_1,R_2\rangle\) and is axiomatized (by D. Gabbay and V.
van Benthem, J., Bezhanishvili, G., ten Cate, B., Sarenac, D.   +3 more
openaire   +3 more sources

Multimodal identification using Markov logic networks

Face and Gesture 2011, 2011
Human robot interaction presents a unique set of challenges for biometric person identification. During normal interactions between the robot and a user, a tremendous amount of information is available for identification. Our objective is to use this information to identify users quickly and accurately during interactions with a robot.
Wallace Lawson, Eric Martinson
openaire   +1 more source

Transfer Theorems for Multimodal Logics

1997
Abstract Many of the modal logics that have been developed contain two or more modal operators. A notable example is the tense logic of Prior, which contains operators for both the past and the future. A more recent example is the logic of programs, which contains infinitely many operators, one for each program.
Kit Fine, Gerhard Schurz
openaire   +1 more source