Results 21 to 30 of about 39,363,930 (284)
Action semantics in retrospect [PDF]
, 2009 This paper is a themed account of the action semantics project, which Peter Mosses has led since the 1980s. It explains his motivations for developing action semantics, the inspirations behind its design, and the foundations of action semantics based on ...
Watt, D.A., David A. Watt
core +1 more source
Journal of Logic and Computation, 2017 Abstract Team semantics is the mathematical framework of modern logics of dependence and independence in which formulae are interpreted by sets of assignments (teams) instead of single assignments as in first-order logic. In order to deepen the fruitful interplay between team semantics and database dependency theory, we define Polyteam ...
Miika Hannula +2 more
openaire +8 more sources
Semantic Segmentation by Semantic Proportions
CoRR, 2023 Semantic segmentation is a critical task in computer vision aiming to identify and classify individual pixels in an image, with numerous applications in for example autonomous driving and medical image analysis. However, semantic segmentation can be highly challenging particularly due to the need for large amounts of annotated data.
Halil Ibrahim Aysel +2 more
openaire +3 more sources
Functional Big-step Semantics [PDF]
, 2016 When doing an interactive proof about a piece of software, it is important that the underlying programming language’s semantics does not make the proof unnecessarily difficult or unwieldy.
Kumar, R., +14 more
core +1 more source
Long-COVID Inducement Mechanism Based on the Path Module Correlation Coefficient
Mathematics, 2023 As the number of COVID-19 cases increases, the long-COVID symptoms become the focus of clinical attention. Based on the statistical analysis of long-COVID symptoms in European and Chinese populations, this study proposes the path module correlation ...
Ziqi Liu +3 more
doaj +1 more source
A trajectory-based strict semantics for program slicing [PDF]
, 2010 We define a program semantics that is preserved by dependence-based slicing algorithms. It is a natural extension, to non-terminating programs, of the semantics introduced by Weiser (which only considered terminating ones) and, as such, is an accurate ...
Kiss, A +26 more
core +1 more source
The Optimal Shape Parameter for the Least Squares Approximation Based on the Radial Basis Function
Mathematics, 2020 The radial basis function (RBF) is a class of approximation functions commonly used in interpolation and least squares. The RBF is especially suitable for scattered data approximation and high dimensional function approximation.
Sanpeng Zheng +2 more
doaj +1 more source
A Practical Study of Control in Objected-Oriented–Functional–Logic Programming with Paisley [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Paisley is an extensible lightweight embedded domain-specific language for nondeterministic pattern matching in Java. Using simple APIs and programming idioms, it brings the power of functional-logic processing of arbitrary data objects to the Java ...
Baltasar Trancón y Widemann +1 more
doaj +1 more source
Research of Motif-Based Similarity for Link Prediction Problem
IEEE Access, 2021 The link prediction problem in the network concerns to predict the existence of links between node pairs, which is a research hotspot in different scenarios with network applications.
Chao Li +3 more
doaj +1 more source
CCRO: Citation’s Context & Reasons Ontology
IEEE Access, 2019 Research papers can be visualized as a networked information space that contains a collection of information entities, inter-connected by directed links, commonly known as citation graph.
Imran Ihsan, Muhammad Abdul Qadir
doaj +1 more source