Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385985654> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4385985654 abstract "Synchronous languages are now a standard industry tool for critical embedded systems. Designers write high-level specifications by composing streams of values using block diagrams. These languages have been extended with Bayesian reasoning to program state-space models which compute a stream of distributions given a stream of observations. However, the semantics of probabilistic models is only defined for scheduled equations -- a significant limitation compared to dataflow synchronous languages and block diagrams which do not require any ordering. In this paper we propose two schedule agnostic semantics for a probabilistic synchronous language. The key idea is to interpret probabilistic expressions as a stream of un-normalized density functions which maps random variable values to a result and positive score. The co-iterative semantics interprets programs as state machines and equations are computed using a fixpoint operator. The relational semantics directly manipulates streams and is thus a better fit to reason about program equivalence. We use the relational semantics to prove the correctness of a program transformation required to run an optimized inference algorithm for state-space models with constant parameters." @default.
- W4385985654 created "2023-08-19" @default.
- W4385985654 creator A5058012721 @default.
- W4385985654 creator A5058638646 @default.
- W4385985654 creator A5063161068 @default.
- W4385985654 date "2023-08-03" @default.
- W4385985654 modified "2023-09-23" @default.
- W4385985654 title "Density-Based Semantics for Reactive Probabilistic Programming" @default.
- W4385985654 doi "https://doi.org/10.48550/arxiv.2308.01676" @default.
- W4385985654 hasPublicationYear "2023" @default.
- W4385985654 type Work @default.
- W4385985654 citedByCount "0" @default.
- W4385985654 crossrefType "posted-content" @default.
- W4385985654 hasAuthorship W4385985654A5058012721 @default.
- W4385985654 hasAuthorship W4385985654A5058638646 @default.
- W4385985654 hasAuthorship W4385985654A5063161068 @default.
- W4385985654 hasBestOaLocation W43859856541 @default.
- W4385985654 hasConcept C11413529 @default.
- W4385985654 hasConcept C118615104 @default.
- W4385985654 hasConcept C154945302 @default.
- W4385985654 hasConcept C156325763 @default.
- W4385985654 hasConcept C184337299 @default.
- W4385985654 hasConcept C199360897 @default.
- W4385985654 hasConcept C207648694 @default.
- W4385985654 hasConcept C2780069185 @default.
- W4385985654 hasConcept C33923547 @default.
- W4385985654 hasConcept C41008148 @default.
- W4385985654 hasConcept C49937458 @default.
- W4385985654 hasConcept C55439883 @default.
- W4385985654 hasConcept C80444323 @default.
- W4385985654 hasConcept C89497691 @default.
- W4385985654 hasConceptScore W4385985654C11413529 @default.
- W4385985654 hasConceptScore W4385985654C118615104 @default.
- W4385985654 hasConceptScore W4385985654C154945302 @default.
- W4385985654 hasConceptScore W4385985654C156325763 @default.
- W4385985654 hasConceptScore W4385985654C184337299 @default.
- W4385985654 hasConceptScore W4385985654C199360897 @default.
- W4385985654 hasConceptScore W4385985654C207648694 @default.
- W4385985654 hasConceptScore W4385985654C2780069185 @default.
- W4385985654 hasConceptScore W4385985654C33923547 @default.
- W4385985654 hasConceptScore W4385985654C41008148 @default.
- W4385985654 hasConceptScore W4385985654C49937458 @default.
- W4385985654 hasConceptScore W4385985654C55439883 @default.
- W4385985654 hasConceptScore W4385985654C80444323 @default.
- W4385985654 hasConceptScore W4385985654C89497691 @default.
- W4385985654 hasLocation W43859856541 @default.
- W4385985654 hasOpenAccess W4385985654 @default.
- W4385985654 hasPrimaryLocation W43859856541 @default.
- W4385985654 hasRelatedWork W1422032522 @default.
- W4385985654 hasRelatedWork W1558467648 @default.
- W4385985654 hasRelatedWork W2035082615 @default.
- W4385985654 hasRelatedWork W2125406856 @default.
- W4385985654 hasRelatedWork W2293856750 @default.
- W4385985654 hasRelatedWork W2623701236 @default.
- W4385985654 hasRelatedWork W2797207385 @default.
- W4385985654 hasRelatedWork W2804733059 @default.
- W4385985654 hasRelatedWork W3158742505 @default.
- W4385985654 hasRelatedWork W783270985 @default.
- W4385985654 isParatext "false" @default.
- W4385985654 isRetracted "false" @default.
- W4385985654 workType "article" @default.