Results 41 to 50 of about 78,943 (189)
Logically at Factify 2022: Multimodal Fact Verification
, 2021 Accepted in AAAI'22: First Workshop on Multimodal Fact-Checking and Hate Speech Detection, Februrary 22 - March 1, 2022,Vancouver, BC ...
Gao, Jie +4 more
openaire +2 more sources
UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
The Bulletin of Symbolic Logic, 2023 AbstractWe present a proof system for a multimode and multimodal logic, which is based on our previous work on modal Martin-Löf type theory. The specification of modes, modalities, and implications between them is given as a mode theory, i.e., a small 2-category. The logic is extended to a lambda calculus, establishing a Curry–Howard correspondence.
G. A. KAVVOS, DANIEL GRATZER
openaire +5 more sources
Tribo‐ferro‐optoelectronic neuromorphic transistor of α‐In2Se3
Brain-X, 2023 Inspired by biological neural networks, the fabrication of artificial neuromorphic systems with multimodal perception capacity shows promises in overcoming the “von Neumann bottleneck” and takes advantage of the efficient perception and computation of ...
Zhenyu Feng +8 more
doaj +1 more source
Principles of libretto translation and problems of multimodal text interpretation
Russian Journal of Linguistics, 2022 The multimodal nature of texts to music involves the complex interaction of verbal, auditory, in some cases visual and other components, which determines the functioning of the textual unity.
Аlbina V. Boyarkina
doaj +1 more source
Enhanced visualisation of dance performance from automatically synchronised multimodal recordings [PDF]
, 2011 The Huawei/3DLife Grand Challenge Dataset provides multimodal recordings of Salsa dancing, consisting of audiovisual streams along with depth maps and inertial measurements.
Gowing, Marc +2 more
core +1 more source
Generic dialogue modeling for multi-application dialogue systems [PDF]
, 2006 We present a novel approach to developing interfaces for multi-application dialogue systems. The targeted interfaces allow transparent switching between a large number of applications within one system.
A. Lisowska +5 more
core +2 more sources
Accelerated hardware video object segmentation: From foreground detection to connected components labelling [PDF]
, 2010 This is the preprint version of the Article - Copyright @ 2010 ElsevierThis paper demonstrates the use of a single-chip FPGA for the segmentation of moving objects in a video sequence.
Andrew Hunter +11 more
core +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
An Evaluation of Score Level Fusion Approaches for Fingerprint and Finger-vein Biometrics [PDF]
, 2017 Biometric systems have to address many requirements, such as large population coverage, demographic diversity, varied deployment environment, as well as practical aspects like performance and spoofing attacks.
Mavroeidis, Vasileios, Vishi, Kamer
core +2 more sources
Adaptive particle swarm optimization [PDF]
, 2009 An adaptive particle swarm optimization (APSO) that features better search efficiency than classical particle swarm optimization (PSO) is presented. More importantly, it can perform a global search over the entire search space with faster convergence ...
Henry Shu-hung Chung +6 more
core +2 more sources