Results 51 to 60 of about 69,515 (313)
The Grail theorem prover: Type theory for syntax and semantics
, 2016 As the name suggests, type-logical grammars are a grammar formalism based on logic and type theory. From the prespective of grammar design, type-logical grammars develop the syntactic and semantic aspects of linguistic phenomena hand-in-hand, letting the
A Ranta +14 more
core +3 more sources
Multimodal Logical Inference System for Visual-Textual Entailment [PDF]
Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics: Student Research Workshop, 2019 A large amount of research about multimodal inference across text and vision has been recently developed to obtain visually grounded word and sentence representations. In this paper, we use logic-based representations as unified meaning representations for texts and images and present an unsupervised multimodal logical inference system that can ...
Masashi Yoshikawa +4 more
openaire +3 more sources
Higher-order Linear Logic Programming of Categorial Deduction
, 1994 We show how categorial deduction can be implemented in higher-order (linear) logic programming, thereby realising parsing as deduction for the associative and non-associative Lambek calculi.
Morrill, Glyn
core +2 more sources
Systematic Verification of the Modal Logic Cube in Isabelle/HOL [PDF]
, 2015 We present an automated verification of the well-known modal logic cube in Isabelle/HOL, in which we prove the inclusion relations between the cube's logics using automated reasoning tools. Prior work addresses this problem but without restriction to the
Benzmüller, Christoph +2 more
core +3 more sources
Fresh perspectives on multimodal argument reconstruction
Frontiers in CommunicationThe present contribution exemplifies current models for argument reconstruction on an environmental protection print-ad, identifying deficits in the way the models account for multimodal argumentation.
Hartmut Stöckl
doaj +1 more source
A type-logical treebank for French
Journal of Language Modelling, 2015 The goal of the current paper is to describe the TLGbank, a treebank of type-logical proof semi-automatically extracted from the French Treebank. Though the framework chosen for the treebank are multimodal type-logical grammars, we have ensured that the ...
Richard Moot
doaj +1 more source
Empowering and assisting natural human mobility: The simbiosis walker [PDF]
, 2011 This paper presents the complete development of the Simbiosis Smart Walker. The device is equipped with a set of sensor subsystems to acquire user-machine interaction forces and the temporal evolution of user's feet during gait.
Frizera A. +8 more
core +4 more sources
Transducer Materials Mediated Deep Brain Stimulation in Neurological Disorders
Advanced Functional Materials, EarlyView.This review discusses advanced transducer materials for improving deep brain stimulation (DBS) in neurological disorders. These materials respond to light, ultrasound, or magnetic fields, enabling precise, less invasive neuromodulation. Their stimulus‐responsive properties enhance neural control and adaptive therapy, paving the way for next‐generation ...
Di Zhao +5 more
wiley +1 more source
Seeing inside the Body Using Wearable Sensing and Imaging Technologies
Advanced Healthcare Materials, EarlyView.This review explores wearable technologies for noninvasive internal health monitoring. It categorizes approaches into indirect sensing (e.g., bioelectrical and biochemical signals) and direct imaging (e.g., wearable ultrasound and EIT), highlighting multimodal integration and system‐level innovation toward personalized, continuous healthcare.
Sumin Kim +3 more
wiley +1 more source
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