An epistemic approach to the formal specification of statistical machine learning
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1619-1374
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
An epistemic approach to the formal specification of statistical machine learning ; day:19 ; month:9 ; year:2020 ; pages:1-18
Software and systems modeling ; (19.9.2020), 1-18
- Urheber
-
Kawamoto, Yusuke
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10270-020-00825-2
- URN
-
urn:nbn:de:101:1-2020110812324610570875
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:20 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Kawamoto, Yusuke
- SpringerLink (Online service)
Ähnliche Objekte (12)
Algebraic decoder specification: coupling formal-language theory and statistical machine translation
Epistemic Groups: Epistemology and Formal Modelling
Conditional specification of statistical models
Formal specification of CSCW applications
Formal specification : techniques and applications
Formal systems specification : the RPC-memory specification case study
Specification of PASCAL-R, [...]. The formal semantic specification using VDM
The Z formal specification notation : proceedings
The Z-formal specification notation : proceedings
The Z formal specification notation : proceedings
The formal specification language mCRL2
Foundational Issues in Statistical Modeling: Statistical Model Specification and Validation
Algebraic decoder specification: coupling formal-language theory and statistical machine translation
Epistemic Groups: Epistemology and Formal Modelling
Conditional specification of statistical models
Formal specification of CSCW applications
Formal specification : techniques and applications
Formal systems specification : the RPC-memory specification case study
Specification of PASCAL-R, [...]. The formal semantic specification using VDM
The Z formal specification notation : proceedings
The Z-formal specification notation : proceedings
The Z formal specification notation : proceedings
The formal specification language mCRL2
Foundational Issues in Statistical Modeling: Statistical Model Specification and Validation
Algebraic decoder specification: coupling formal-language theory and statistical machine translation
Epistemic Groups: Epistemology and Formal Modelling
Conditional specification of statistical models
Formal specification of CSCW applications
Formal specification : techniques and applications
Formal systems specification : the RPC-memory specification case study
Specification of PASCAL-R, [...]. The formal semantic specification using VDM
The Z formal specification notation : proceedings
The Z-formal specification notation : proceedings
The Z formal specification notation : proceedings
The formal specification language mCRL2