Results 131 to 140 of about 6,025 (211)
What Can Deep Neural Networks Teach Us About Embodied Bounded Rationality. [PDF]
Front Psychol, 2022 Lee EA.
europepmc +1 more source
A verified algebra for read-write linked data
The aim of this work is to verify an algebra for high level languages for reading and writing Linked Data. Linked Data refers to a collection of standards which aim to enhance the world’s data, by interlinking datasets through the Web. The starting point
Horne, Ross, Sassone, Vladimiro
core +1 more source
, 1998 We investigate criteria to relate specifications and implementations belonging to conceptually different abstraction levels, and we propose vertical bisimulation as a candidate relation for this purpose.
Gorrieri, R. (Bologna Univ. (Italy). Dipt. di Scienze dell'Informazione) +2 more
core
On the Finitary Bisimulation [PDF]
, 1995 The finitely observable, or finitary, part of bisimulation is a key tool in establishing full abstraction results for denotational semantics for process algebras with respect to bisimulation-based preorders.
Aceto, Luca, Ingólfsdóttir, Anna
core
We investigate criteria to relate specifications and implementations belonging to conceptually different abstraction levels, and propose vertical bisimulation as a candidate relation for this purpose.
Rensink, Arend, Gorrieri, Roberto
core +1 more source
Probabilistic Kleene Algebra with Tests
工程科学与技术, 2009 :In order to improve the expressiveness of Kleene algebra with tests (KAT), which formalizes the behavior of regular programs, a complete theory of probabilistic Kleene algebra with tests (PKAT) for reasoning regular programs with probability was ...
doaj
Words and bisimulations of dynamical systems
Discrete Mathematics & Theoretical Computer Science, 2007 In this paper we study bisimulations on dynamical systems through a given partition. Our aim is to give a new vision of the notion of bisimulation by using words.
Thomas Brihaye
doaj