Results 61 to 70 of about 1,203,304 (231)
Semantics of Complex Demonstratives Semantics of Complex Demonstratives [PDF]
Pizhūhish/hā-yi Falsafī- Kalāmī, 2019 The semantics of complex demonstratives is one of the most important and controversial topics in philosophy of language which has never been ceased to attract philosophers’ interest and attention.
Kamran Ghayoomzadeh
doaj +1 more source
Semantics Through Pictures: towards a diagrammatic semantics for object-oriented modelling notations [PDF]
, 1997 An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots.
Civello, Franco +4 more
core +1 more source
Frontiers in ImagingIntroductionHomomorphic encryption (HE) enables privacy-preserving face recognition by allowing encrypted facial embeddings to be compared without decryption.
Amina Bassit +9 more
doaj +1 more source
Frontiers in Computational Neuroscience, 2018 Long-term potentiation (LTP) is a specific form of activity-dependent synaptic plasticity that is a leading mechanism of learning and memory in mammals. The properties of cooperativity, input specificity, and associativity are essential for LTP; however,
Lijie Hao, Zhuoqin Yang, Jinzhi Lei
doaj +1 more source
On the Unification of Process Semantics: Logical Semantics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 We continue with the task of obtaining a unifying view of process semantics by considering in this case the logical characterization of the semantics. We start by considering the classic linear time-branching time spectrum developed by R.J. van Glabbeek.
David Romero-Hernández +1 more
doaj +1 more source
, 2006 In the context of the Semantic Web, many ontology-related operations, e.g. ontology ranking, segmentation, alignment, articulation, reuse, evaluation, can be boiled down to one fundamental operation: computing the similarity and?or dissimilarity among ontological entities, and in some cases among ontologies themselves. In this paper, we review standard
Hu, Bo +5 more
openaire +2 more sources
MathematicsMultisource and multimodal data fusion plays a pivotal role in large-scale artificial intelligence applications involving big data. However, the choice of fusion strategies for different scenarios is often based on experimental comparisons, which leads ...
Ziqi Liu +4 more
doaj +1 more source
Topological Semantics and Decidability [PDF]
, 2007 It is well-known that the basic modal logic of all topological spaces is $S4$. However, the structure of basic modal and hybrid logics of classes of spaces satisfying various separation axioms was until present unclear. We prove that modal logics of $T_0$
Sustretov, Dmitry
core +6 more sources
Semantics of higher inductive types
, 2019 Higher inductive types are a class of type-forming rules, introduced to provide basic (and not-so-basic) homotopy-theoretic constructions in a type-theoretic style.
Lumsdaine, Peter LeFanu, Shulman, Mike
core +1 more source
Semantic prosody, semantic transfer and semantic change
ICAME JournalAbstract This article investigates semantic prosody in a diachronic perspective. Although prosodies have been shown to change over time, there is no consensus regarding the source of such changes. The present study explores this further through a corpus study of the development of the lemmas fabric, fabricate and fabrication from the ...
openaire +1 more source