Results 11 to 20 of about 2,730,800 (71)
Semantic correctness for a parallel object-oriented language [PDF]
, 1988 Kahn and MacQueen have introduced a generic class of determinate asynchronous data-flow applications, called Kahn Process Networks (KPNs) with an elegant mathematical model and semantics in terms of Scott-continuous functions on data streams together ...
Rutten, J.J.M.M. (Jan)
core +14 more sources
Biological Reviews, Volume 98, Issue 1, Page 81-98, February 2023., 2023 ABSTRACT The evolution of language has been investigated by several research communities, including biologists and linguists, striving to highlight similar linguistic capacities across species. To date, however, no consensus exists on the linguistic capacities of non‐human species.
Mélissa Berthet +3 more
wiley +1 more source
Philosophy and Phenomenological Research, Volume 105, Issue 2, Page 299-330, September 2022., 2022 Abstract Current views of metaphysical ground suggest that a true conjunction is immediately grounded in its conjuncts, and only its conjuncts. Similar principles are suggested for disjunction and universal quantification. Here, it is shown that these principles are jointly inconsistent: They require that there is a distinct truth for any plurality of ...
Peter Fritz
wiley +1 more source
Intelligent agent simulator in massive crowd [PDF]
, 2018 Crowd simulations have many benefits over real-life research such as in computer games, architecture and entertainment. One of the key elements in this study is to include elements of decision-making into the crowd.
Ahmad, A. +7 more
core +2 more sources
Towards a Formal Model of Recursive Self-Reflection [PDF]
, 2019 Self-awareness holds the promise of better decision making based on a comprehensive assessment of a system\u27s own situation. Therefore it has been studied for more than ten years in a range of settings and applications.
Jantsch, Axel
core +2 more sources
Advanced modelling made simple with the Gmodel metalanguage. [PDF]
, 2010 Gmodel is a metalanguage that has been designed from the ground up to enable specification and instantiation of modelling languages. Although a number of metalanguages can be used for this purpose, most provide no or only limited support for modular ...
Bettin, J. +3 more
core +1 more source
Embedding object-oriented design in system engineering [PDF]
, 1999 The Unified Modeling Language (UML) is a collection of techniques intended to document design decisions about software. This contrasts with systems engineering approaches such as for exampleStatemate and the Yourdon Systems Method (YSM), in which the ...
D Harel, RJ Wieringa
core +2 more sources
MPEG Reconfigurable Video Coding: From specification to a reconfigurable implementation [PDF]
, 2013 International audienceThis paper demonstrates that it is possible to produce automatic, reconfigurable, and portable implementations of multimedia decoders onto platforms with the help of the MPEG Reconfigurable Video Coding (RVC) standard. MPEG RVC is a
Gorin, Jérôme +2 more
core +3 more sources
From distributed coordination to field calculus and aggregate computing [PDF]
, 2019 open6siThis work has been partially supported by: EU Horizon 2020 project HyVar (www.hyvar-project .eu), GA No. 644298; ICT COST Action IC1402 ARVI (www.cost -arvi .eu); Ateneo/CSP D16D15000360005 project RunVar (runvar-project.di.unito.it).Aggregate ...
Audrito, Giorgio +5 more
core +2 more sources
Designing equivalent semantic models for process creation [PDF]
, 1986 Operational and denotational semantic models are designed for languages with process creation, and the relationships between the two semantics are investigated.
America, P.H.M. (Pierre) +1 more
core +1 more source