„probabilistic program“

Suchergebnisse

392 Treffer

• Coinduction in Flow: The Later Modality in Fibrations
  Basold, Henning 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Finally, a Polymorphic Linear Algebra Language (Pearl)
  Shaikhha, Amir ; Parreaux, Lionel 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Polynomially Ambiguous Probabilistic Automata on Restricted Languages (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Bell, Paul C. 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Differentials and Distances in Probabilistic Coherence Spaces
  Ehrhard, Thomas 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Some Semantic Issues in Probabilistic Programming Languages (Invited Talk)
  Yang, Hongseok 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fully Abstract Models of the Probabilistic lambda-calculus
  Clairambault, Pierre ; Paquet, Hugo 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Proof Techniques for Program Equivalence in Probabilistic Higher-Order Languages (Invited Talk)
  Vignudelli, Valeria 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Beta-Bernoulli process and algebraic effects
  Staton, Sam ; Stein, Dario ; Yang, Hongseok ; Ackerman, Nathanael L. ; Freer, Cameron E. ; Roy, Daniel M. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Probabilistic Programming (Invited Talk)
  Yang, Hongseok 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Quantitative Semantics for Probabilistic Programming (Invited Talk)
  Tasson, Christine 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Undecidable Problems for Probabilistic Network Programming
  Kahn, David M. 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Type Theory for Probabilistic and Bayesian Reasoning
  Adams, Robin ; Jacobs, Bart 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Declarative Probabilistic Programming with Datalog
  Barany, Vince ; ten Cate, Balder ; Kimelfeld, Benny ; Olteanu, Dan ; Vagena, Zografoula 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Provably Correct Sampler for Probabilistic Programs
  Hur, Chung-Kil ; Nori, Aditya V. ; Rajamani, Sriram K. ; Samuel, Selva 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Programming with "Big Code": Lessons, Techniques and Applications
  Bielik, Pavol ; Raychev, Veselin ; Vechev, Martin 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time
  Hermanns, Holger ; Turrini, Andrea 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Model Checking Concurrent Programs with Nondeterminism and Randomization
  Chadha, Rohit ; Sistla, A. Prasad ; Viswanathan, Mahesh 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Abductive Inference in Probabilistic Logic Programs
  Simari, Gerardo ; Subrahmanian, V.S. 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions
  Riguzzi, Fabrizio ; Swift, Terrance 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dedicated Tabling for a Probabilistic Setting
  Mantadelis, Theofrastos ; Janssens, Gerda 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik