„probabilistic program“
Suchergebnisse
392 Treffer
-
Synthesis of probabilistic models for quality-of-service software engineering
-
Probabilistic State Estimation Techniques for Autonomous and Decision Support Systems
-
Probabilistic modelling and verification using RoboChart and PRISM
-
Probabilistic Topic Models for Enriching Ontology from Texts
-
Practical Hilbert space approximate Bayesian Gaussian processes for probabilistic programming
-
Probabilistic Programming Methods for Reconstruction of Multichannel Imaging Detector Events: ELVES and TRACKS
-
The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic
-
The Complexity of Verifying Loop-Free Programs as Differentially Private
-
A Program Logic for Union Bounds
-
A Rewriting Theory for Quantum λ-Calculus
-
A Kleene Algebra with Tests for Union Bound Reasoning About Probabilistic Programs
-
On Iteration in Discrete Probabilistic Programming
-
Asymptotic Complexity Estimates for Probabilistic Programs and Their VASS Abstractions
-
An Evaluation of the Impact of Ignition Location Uncertainty on Forest Fire Ignition Prediction Using Bayesian Logistic Regression (Short Paper)
-
The Compositional Structure of Bayesian Inference
-
Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL
-
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity
-
Slicing of Probabilistic Programs Based on Specifications (Extended Abstract)
-
Some Formal Structures in Probability (Invited Talk)
-
A Coalgebraic Perspective on Probabilistic Logic Programming