Results 11 to 20 of about 20,008 (316)
Efficient and Effective Directed Minimum Spanning Tree Queries
Mathematics, 2023 Computing directed Minimum Spanning Tree (DMST) is a fundamental problem in graph theory. It is applied in a wide spectrum of fields from computer network and communication protocol design to revenue maximization in social networks and syntactic parsing ...
Zhuoran Wang +4 more
doaj +1 more source
Computation of the semantics of autoepistemic belief theories
Artificial Intelligence, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Stefan Brass +2 more
openaire +1 more source
Inductive Data Types Based on Fibrations Theory in Programming
Journal of Computing and Information Technology, 2016 Traditional methods including algebra and category theory have some deficiencies in analyzing semantics properties and describing inductive rules of inductive data types, we present a method based on Fibrations theory aiming at those questions above.
Decheng Miao +3 more
doaj +1 more source
Unconditional Authentication Based on Physical Layer Offered Chain Key in Wireless Communication
Entropy, 2022 Authentication is a critical issue in wireless communication due to the impersonation and substitution attacks from the vulnerable air interface launched by the malicious node.
Shaoyu Wang +5 more
doaj +1 more source
Computational semantics in type theory [PDF]
Mathématiques et sciences humaines, 2004 This paper aims to show how Montague-style grammars can be completely formalized and thereby declaratively implemented by using the Grammatical Framework GF. The implementation covers the fundamental operations of Montague’s PTQ model: the construction of analysis trees, the linearization of trees into strings, and the interpretation of trees as ...
openaire +1 more source
Service-Oriented Logic Programming [PDF]
Logical Methods in Computer Science, 2015 We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work builds on recent theoretical advancements in the algebraic structures that capture the way services are orchestrated and in the processes that
Ionut Tutu, Jose Luiz Fiadeiro
doaj +1 more source
Length-Gauge Optical Matrix Elements in WIEN2k
Computation, 2022 Hybrid exchange-correlation functionals provide superior electronic structure and optical properties of semiconductors or insulators as compared to semilocal exchange-correlation potentials due to admixing a portion of the non-local exact exchange ...
Oleg Rubel, Peter Blaha
doaj +1 more source
A Computational Theory for Life-Long Learning of Semantics [PDF]
, 2018 Semantic vectors are learned from data to express semantic relationships between elements of information, for the purpose of solving and informing downstream tasks. Other models exist that learn to map and classify supervised data. However, the two worlds of learning rarely interact to inform one another dynamically, whether across types of data or ...
Peter Sutor Jr. +2 more
openaire +2 more sources
Fair Allocation in Crowd-Sourced Systems
Games, 2023 In this paper, we address the problem of fair sharing of the total value of a crowd-sourced network system between major participants (founders) and minor participants (crowd) using cooperative game theory.
Mishal Assif +2 more
doaj +1 more source
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