Results 71 to 80 of about 178,207 (183)
A GIS-Based Cultural Heritage Study Framework on Continuous Scales: A Case Study on 19th Century Military Industrial Heritage [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2015 This paper presents a framework of introducing GIS technology to record and analyse cultural heritages in continuous spatial scales. The research team is developing a systematic approach to support heritage conservation research and practice on ...
J. He +9 more
doaj +1 more source
Multi-source Semantic Graph-based Multimodal Sarcasm Explanation Generation [PDF]
ACL 2023, 2023 Multimodal Sarcasm Explanation (MuSE) is a new yet challenging task, which aims to generate a natural language sentence for a multimodal social post (an image as well as its caption) to explain why it contains sarcasm. Although the existing pioneer study has achieved great success with the BART backbone, it overlooks the gap between the visual feature ...
arxiv
Structural completeness in propositional logics of dependence [PDF]
, 2015 In this paper we prove that three of the main propositional logics of dependence (including propositional dependence logic and inquisitive logic), none of which is structural, are structurally complete with respect to a class of substitutions under which
Iemhoff, Rosalie, Yang, Fan
core +2 more sources
On elementary logics for quantitative dependencies [PDF]
arXiv, 2021 We define and study logics in the framework of probabilistic team semantics and over metafinite structures. Our work is paralleled by the recent development of novel axiomatizable and tractable logics in team semantics that are closed under the Boolean negation.
arxiv
, 2015 We introduce two variants of computation tree logic CTL based on team semantics: an asynchronous one and a synchronous one. For both variants we investigate the computational complexity of the satisfiability as well as the model checking problem.
Krebs, Andreas +2 more
core +1 more source
Treo: Textual Syntax for Reo Connectors [PDF]
, 2018 Reo is an interaction-centric model of concurrency for compositional specification of communication and coordination protocols. Formal verification tools exist to ensure correctness and compliance of protocols specified in Reo, which can readily be (re ...
Arbab, Farhad, Dokter, Kasper
core +3 more sources
Team UMBC-FEVER : Claim verification using Semantic Lexical Resources [PDF]
Proceedings of the First Workshop on Fact Extraction and VERification (FEVER), 2018 Proceedings of the First Workshop on Fact Extraction and ...
Tim Finin, Ankur Padia, Francis Ferraro
openaire +1 more source
Enhancing Biophysical Muscle Fatigue Model in the Dynamic Context of Soccer
SensorsIn the field of muscle fatigue models (MFMs), the prior research has demonstrated success in fitting data in specific contexts, but it falls short in addressing the diverse efforts and rapid changes in exertion typical of soccer matches.
Arian Skoki +4 more
doaj +1 more source
Linguistic association experiment: From theory to practice (linguistic and psychological aspect) [PDF]
SHS Web of ConferencesThe article describes the linguistic association experiment, which is one of the most common methods of experimental research of language and consciousness. The potential of the linguistic association experiment is revealed by the example of the analysis
Makhaev Mair +2 more
doaj +1 more source
Sensors, 2019 Small unmanned aircraft systems (sUAS) are rapidly transforming atmospheric research. With the advancement of the development and application of these systems, improving knowledge of best practices for accurate measurement is critical for achieving ...
Lindsay Barbieri +30 more
doaj +1 more source