Results 111 to 120 of about 11,408 (204)

The Gauss-Markov adjunction provides categorical semantics of residuals in supervised learning

open access: yesDiscover Artificial Intelligence
Enhancing the intelligibility and interpretability of machine learning is a crucial task in responding to the demand for Explicability as an AI principle, and in promoting the better social implementation of AI.
Moto Kamiura
doaj   +1 more source

Disentangling denotational semantics specifications

open access: yes, 2008
Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equations in a definition may have to be aware of unrelated constructs semantics. Current approaches for modularity in this formalism do not address this problem, providing, for this reason ...
Saraiva, João Alexandre   +2 more
openaire   +1 more source

Perspectives of semantic modeling in categories

open access: yesJournal of King Saud University: Computer and Information Sciences
This paper explores the domain of semantic modeling, emphasizing the thoughtful influence of category theory on imperative programming. We aim to present a formal semantics model by seamlessly integrating categorical concepts.
William Steingartner
doaj   +1 more source

Synthesising Programs with Non-trivial Constants. [PDF]

open access: yesJ Autom Reason, 2023
Abate A   +8 more
europepmc   +1 more source

An algebraic framework for structured epidemic modelling. [PDF]

open access: yesPhilos Trans A Math Phys Eng Sci, 2022
Libkind S   +4 more
europepmc   +1 more source

Denotational semantics

open access: yesScience of Computer Programming, 1988
openaire   +1 more source

Home - About - Disclaimer - Privacy