Titel

Merkliste
1 Ergebnisse

Towards verified stochastic variational inference for proba..:

Lee, Wonyeol ; Yu, Hangyeol ; Rival, Xavier.
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-33 , 2019

Link: https://dl.acm.org/doi/10.1145/3371084

RT Journal
T1 <Title>Towards verified stochastic variational inference for probabilistic programs</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3371084&Exemplar=1&LAN=DE
				
A1 Lee, Wonyeol
A1 Yu, Hangyeol
A1 Rival, Xavier
A1 Yang, Hongseok
PB ACM
YR 2019
SN 2475-1421
K1 Probabilistic programming
K1 correctness
K1 semantics
K1 static analysis
K1 Mathematics of computing
K1 Probability and statistics
K1 Probabilistic inference problems
K1 Bayesian computation
K1 Probabilistic reasoning algorithms
K1 Variational methods
K1 Theory of computation
K1 Models of computation
K1 Probabilistic computation
K1 Semantics and reasoning
K1 Program semantics
K1 Denotational semantics
K1 Software and its engineering
K1 Software organization and properties
K1 Software functional properties
K1 Correctness
K1 Formal methods
K1 Automated static analysis
K1 Computing methodologies
K1 Machine learning
JF Proceedings of the ACM on Programming Languages
VO 4
IS POPL
SP 1
OP 33
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3371084
DO https://dl.acm.org/doi/10.1145/3371084
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)