„probabilistic program“

Suchergebnisse

1.000+ Treffer

• Elements for Weighted Answer-Set Programming
  Coelho, Francisco ; Dinis, Bruno ; Seipel, Dietmar ; Abreu, Salvador 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Probabilistic solutions to ordinary differential equations as nonlinear Bayesian filtering: a new perspective
  Tronarp, Filip ; Kersting, Hans ; Särkkä, Simo ; Hennig, Philipp
• Introducing probabilistic reasoning within Event-B
  Aouadhi, Mohamed Amine ; Delahaye, Benoît ; Lanoix, Arnaud
• Multivariate outlier detection in medicare claims payments applying probabilistic programming methods
  Bauder, Richard A. ; Khoshgoftaar, Taghi M.
• Scalable Analysis of Probabilistic Models and Programs (Dagstuhl Seminar 23241)
  Junges, Sebastian ; Katoen, Joost-Pieter ; Sanner, Scott ; Van den Broeck, Guy ; Salmani, Bahare
• Novel probabilistic resource migration algorithm for cross-cloud live migration of virtual machines in public cloud
  Pal, Souvik ; Kumar, Raghvendra ; Son, Le Hoang ; Saravanan, Krishnan ; Abdel-Basset, Mohamed ; Manogaran, Gunasekaran ; Thong, Pham Huy
• Approaches and Applications of Inductive Programming (Dagstuhl Seminar 19202)
  De Raedt, Luc ; Evans, Richard ; Muggleton, Stephen H. ; Schmid, Ute
• Concavity and Efficient Points of Discrete Distributions in Probabilistic Programming
  Dentcheva, Darinka ; Prékopa, András ; Ruszczynski, Andrzej 1999 Humboldt-Universität zu Berlin
• Latticed k-Induction with an Application to Probabilistic Programs
  Batz, Kevin ; Chen, Mingshuai ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter ; Matheja, Christoph ; Schröer, Philipp 2021 Universitätsbibliothek der RWTH Aachen
• Relatively complete verification of probabilistic programs – an expressive language for expectation-based reasoning
  Batz, Kevin ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter ; Matheja, Christoph 2021 Universitätsbibliothek der RWTH Aachen
• A probabilistic fuzzy goal programming model for managing the supply of emergency relief materials
  Jana, Rabin K. ; Sharma, Dinesh K. ; Mehta, Peeyush
• Concavity and efficient points of discrete distributions in probabilistic programming
  Dentcheva, Darinka ; Prékopa, András ; Ruszczynski, Andrzej
• Almost Sure Productivity
  Aguirre, Alejandro ; Barthe, Gilles ; Hsu, Justin ; Silva, Alexandra 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dependable Software Engineering. Theories, Tools, and Applications – Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
  Larsen, Kim Guldstrand ; Sokolsky, Oleg ; Wang, Ji 2017 Springer International Publishing
• Sampling of Bayesian posteriors with a non-Gaussian probabilistic learning on manifolds from a small dataset
  Soize, Christian ; Ghanem, Roger ; Desceliers, Christophe
• A mixed-integer stochastic nonlinear optimization problem with joint probabilistic constraints
  Arnold, T. ; Henrion, René ; Möller, A. ; Vigerske, S. 2013 Humboldt-Universität zu Berlin
• Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples
  Besold, Tarek R. ; Garcez, Artur d’Avila ; Stenning, Keith ; Torre, Leendert van der ; Lambalgen, Michiel ˜vanœ
• A probabilistic model for the numerical solution of initial value problems
  Schober, Michael ; Särkkä, Simo ; Hennig, Philipp
• FPR: fuzzy controlled probabilistic rebroadcast in mobile ad hoc network
  Banerjee, Anuradha ; Ghosh, Subhankar
• Increasing the lifespan of wireless adhoc network using probabilistic approaches: a survey
  Kurumbanshi, Suresh ; Rathkanthiwar, Shubhangi