Results 31 to 40 of about 20,008 (316)

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

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

Revising Z: part I - logic and semantics

, 1999
This is the first of two related papers. We introduce a simple specification logic ZC comprising a logic and a semantics (in ZF set theory) within which the logic is sound.
Reeves, Steve, Henson, Martin C.
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, Priyanka Singh, Jatindra Kumar Dash, Hiren Kumar Thakkar, José Santamaría, Musalreddy Venkata Jayanth Krishna, Antonio Romero-Manchado   +6 more
doaj   +1 more source

A robust semantics hides fewer errors

, 2009
In this paper we explore how formal models are interpreted and to what degree meaning is captured in the formal semantics and to what degree it remains in the informal interpretation of the semantics.
Reeves, Steve, Streader, David, David Streader, Steve Reeves   +3 more
core   +1 more source

Modular Semantics for Object-Oriented Models [PDF]

, 1998
This paper describes a formal, modular approach to the semantics of object-oriented models. These models are expressed in the UML notation augmented with the Object Constraint language (OCL), which provides a precise textual language for expressing ...
Howse, John, Ali Hamie, Hamie, Ali, Stuart Kent, John Howse, Kent, Stuart   +5 more
core   +1 more source

Adaptive Privacy-Preserving Coded Computing with Hierarchical Task Partitioning

Entropy
Coded 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

Computing preferred extensions in abstract argumentation : a SAT based approach

, 2013
This paper presents a novel SAT-based approach for the computation of extensions in abstract argumentation, with focus on preferred semantics, and an empirical evaluation of its performances.
Vallati, Mauro, Giacomin, Massimiliano, Paul E. Dunne, Cerutti, Federico, Federico Cerutti, Massimiliano Giacomin, Dunne, Paul E., Dunne, Paul, Mauro Vallati   +8 more
core   +1 more source

L₁-L_p Minimization via a Distributed Smoothing Neurodynamic Approach for Robust Multi-View Three-Dimensional Space Localization

Applied Sciences
This 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, Jiao Yang, Hong Liu, You Zhao, Xuekai Wei   +4 more
doaj   +1 more source

A symbolic semantics for a clculus for service-oriented computing

, 2009
We introduce a symbolic characterisation of the operational semantics of COWS, a formal language for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
N. Yoshida, R. Pugliese, Yoshida, Nobuko, Pugliese, Rosario, Tiezzi, Francesco   +4 more
core   +1 more source