Results 281 to 290 of about 1,079,877 (335)

Multimode excitations for complex multifunctional logic device [PDF]

open access: possibleJournal of Micromechanics and Microengineering, 2019
The simplicity and prospect of energy efficiency of MEMS resonator-based computing devices have captivated considerable research interest in recent years. Hence, they are being explored for ultra-low power computing machines, which are currently needed for internet-of-things (IoT) applications.
S A Tella, M I Younis
openaire   +2 more sources

Special Issue on Multimodal Logics: A Preface

Logica Universalis, 2012
It is a fact that investigations of multimodality are currently an advanced area of inquiry within the immense field of intensional logic. A remarkable aspect of this growth is that important branches of modal logic have been shown to be reconstructable as branches of multimodal logic.
Walter Carnielli, Claudio Pizzi
openaire   +2 more sources

Inductive Plausibility and Certainty: A Multimodal Paraconsisent and Nonmonotonic Logic

Philosophical Approaches to the Foundations of Logic and Mathematics, 2021
Ricardo Silvestre
openaire   +3 more sources

Towards Multimodal Co-Construction of Explanations for Robots: Combining Inductive Logic Programming and Large Language Models to Explain Robot Faults

ICMI Companion
This paper explores a hybrid approach to the multimodal co-const-ruction of explanations for robot faults, integrating Inductive Logic Programming (ILP) and Large Language Models (LLMs).
Youssef Mahmoud Youssef, Teena Hassan
semanticscholar   +1 more source

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   +2 more sources

Interval Type-2 Fuzzy Logic for Semisupervised Multimodal Hashing

IEEE Transactions on Cybernetics, 2019
Retrieving nearest neighbors across correlated data in multiple modalities, such as image–text pairs on Facebook and video–tag pairs on YouTube, has become a challenging task due to the huge amount of data. Multimodal hashing methods that embed data into
Dayong Tian   +3 more
semanticscholar   +1 more source

Multimodal and intuitionistic logics in simple type theory

Logic Journal of IGPL, 2010
We study straightforward embeddings of propositional normal multimodal logic and propositional intuitionistic logic in simple type theory. The correctness of these embeddings is easily shown. We give examples to demonstrate that these embeddings provide an effective framework for computational investigations of various non-classical logics.
Christoph Benzmueller   +1 more
openaire   +2 more sources

Assuming a hybrid logic of reading: comics, psychoanalysis, and the multimodal promise of visual response

Pedagogies: An International Journal, 2019
With the increasing educational and institutional legitimacy afforded to multimodal texts, there is a need to further explore the use of the visual and its place in reader response, not only as a textual means to prompt interpretation but also as a form ...
David Lewkowich
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

Normal Multimodal Logics with Interaction Axioms

2000
In this paper we present a prefixed analytic tableau calculus for a wide class of normal multimodal logics; the calculus can deal in a uniform way with any logic in this class. To achieve this goal, we use a prefixed tableau calculus a la Fitting, where we explicitly represent accessibility relations between worlds by means of a graph and we use the ...
openaire   +3 more sources

Home - About - Disclaimer - Privacy