Results 51 to 60 of about 201,530,701 (335)
Semantics for Prolog with Cut – Revisited [PDF]
, 2014 This paper revisits the semantics for Prolog with cut from the perspective of formulating a semantic base that is amenable to abstract interpretation. It argues that such a semantics should separate the question of divergence from questions pertaining to
Jael Kriener +3 more
core +1 more source
Mobile computing middleware for context-aware applications [PDF]
, 2002 Mobile computing devices, such as palmtop computers, mobile phones and personal digital assistants have gained wide-spread popularity. These d vices will increasingly be networked, thus enabling the construction of distributed ap-plications that have to ...
Licia Capra, Capra, L
core +1 more source
Solutions of the Yang–Baxter Equation and Automaticity Related to Kronecker Modules
Computation, 2023 The Kronecker algebra K is the path algebra induced by the quiver with two parallel arrows, one source and one sink (i.e., a quiver with two vertices and two arrows going in the same direction). Modules over K are said to be Kronecker modules.
Agustín Moreno Cañadas +2 more
doaj +1 more source
A Structural and Nominal Syntax for Diagrams [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The correspondence between monoidal categories and graphical languages of diagrams has been studied extensively, leading to applications in quantum computing and communication, systems theory, circuit design and more.
Dan R Ghica, Aliaume Lopez
doaj +1 more source
A Coalgebraic Semantics for Imperative Programming Languages [PDF]
, 2014 In the theory of programming languages, one often takes two complementary perspectives. In operational semantics, one defines and reasons about the behaviour of programs; and in denotational semantics, one abstracts away implementation details, and ...
Abou-Saleh, Faris
core +1 more source
A New Robust and Secure 3-Level Digital Image Watermarking Method Based on G-BAT Hybrid Optimization
Mathematics, 2022 This contribution applies tools from the information theory and soft computing (SC) paradigms to the embedding and extraction of watermarks in aerial remote sensing (RS) images to protect copyright.
Kilari Jyothsna Devi +6 more
doaj +1 more source
Approximate Semantic Transference: A Computational Theory of Metaphors and Analogies [PDF]
Cognitive Science, 1987 In this paper we start from the assumption that in a metaphor, or an analogy, some terms belonging to one domain (source domain) are used to refer to objects other than their conventional referents belonging to a possibly different domain (target domain).
openaire +1 more source
Adaptive Privacy-Preserving Coded Computing with Hierarchical Task Partitioning
EntropyCoded computing is recognized as a promising solution to address the privacy leakage problem and the straggling effect in distributed computing. This technique leverages coding theory to recover computation tasks using results from a subset of workers ...
Qicheng Zeng, Zhaojun Nan, Sheng Zhou
doaj +1 more source
Applied SciencesThis paper presents a distributed smoothing neurodynamic approach for solving the L1-Lp minimization problem, with application to robust and collaborative multi-view three-dimensional (3D) space localization.
Youran Qu +4 more
doaj +1 more source
COWS: A Timed Service-Oriented Calculus [PDF]
, 2007 COWS (Calculus for Orchestration of Web Services) is a foundational language for Service Oriented Computing that combines in an original way a number of ingredients borrowed from well-known process calculi, e.g.
R. Pugliese +8 more
core +1 more source