Results 31 to 40 of about 133,469 (284)
An adequate logic for full LOTOS [PDF]
, 2000 We present a novel result for a logic for symbolic transition systems based on LOTOS processes.
Calder, Muffy +2 more
core +6 more sources
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
Programming in logic without logic programming [PDF]
, 2015 In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial ...
Kowalski, Robert, Sadri, Fariba
core +3 more sources
Modal logics are coalgebraic [PDF]
, 2008 Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts.
Cirstea, Corina +4 more
core +5 more sources
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
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
A uniform definition of stochastic process calculi [PDF]
, 2012 We introduce a unifying framework to provide the semantics of process algebras, including their quantitative variants useful for modeling quantitative aspects of behaviors.
De Nicola, Rocco +3 more
core +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
Bounded LTL Model Checking with Stable Models
, 2001 In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous systems a generalisation of communicating automata, 1-safe Petri nets, are used.
F. Fages +4 more
core +8 more sources