„Probabilistic Programming“

Suchergebnisse

242 Treffer

• Unifying theories of programming – third international symposium ; proceedings
  Qin, Shengchao 2010 Springer
• Learning probabilistic models for model checking: an evolutionary approach and an empirical study
  Wang, Jingyi ; Sun, Jun ; Yuan, Qixia ; Pang, Jun
• Probabilistic symbolic model checking with PRISM: a hybrid approach
  Kwiatkowska, Marta Z. ; Norman, Gethin ; Parker, David
• Programming Receptor Clustering with DNA Probabilistic Circuits for Enhanced Natural Killer Cell Recognition
  Xiao, Mingshu ; Lai, Wei ; Yao, Xiaowei ; Pei, Hao ; Fan, Chunhai ; Li, Li
• Metric regularity and quantitative stability in stochastic programs with probabilistic constraints
  Henrion, René ; Römisch, Werner 2005 Humboldt-Universität zu Berlin
• On the Applicability of Probabilistic Programming Languages for Causal Activity Recognition
  Lüdtke, Stefan ; Popko, Maximilian ; Kirste, Thomas
• Programming Receptor Clustering with DNA Probabilistic Circuits for Enhanced Natural Killer Cell Recognition
  Xiao, Mingshu ; Lai, Wei ; Yao, Xiaowei ; Pei, Hao ; Fan, Chunhai ; Li, Li
• Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
  Klein, Joachim ; Baier, Christel ; Chrszon, Philipp ; Daum, Marcus ; Dubslaff, Clemens ; Klüppelholz, Sascha ; Märcker, Steffen ; Müller, David
• The probabilistic model checker Storm
  Hensel, Christian ; Junges, Sebastian ; Katoen, Joost-Pieter ; Quatmann, Tim ; Volk, Matthias
• Configuration of inter-process communication with probabilistic model checking
  Herrmann, Linda ; Küttler, Martin ; Stumpf, Tobias ; Baier, Christel ; Härtig, Hermann ; Klüppelholz, Sascha
• Metric regularity and quantitative stability in stochastic programs with probabilistic constraints
  Henrion, René ; Römisch, Werner 1996 Inst. für Mathematik
• Multi-Objective Fuzzy Probabilistic Programming Approach for Obtaining Optimum Crops Pattern with Water Replenishment
  Dutta, S. ; Sahoo, B. C. ; Bhanavi, S. ; Nethra, S.
• Dynamic probabilistic constraints under continuous random distributions
  González Grandón, Tatiana ; Henrion, R. ; Pérez-Aros, Pedro 2023 Humboldt-Universität zu Berlin
• Probabilistic bounds (via large deviations) for the solutions of stochastic programming problems
  Kaniovski, Yuri M. ; King, Alan J. ; Wets, Roger J-B
• Control of stochastic hybrid systems based on probabilistic reachable set computation
  Asselborn, Leonhard 2018 Kassel University Press
• Neural-Symbolic Argumentation Mining: An Argument in Favor of Deep Learning and Reasoning
  Galassi, Andrea ; Kersting, Kristian ; Lippi, Marco ; Shao, Xiaoting ; Torroni, Paolo 2024 Universitäts- und Landesbibliothek
• Probabilistic constraint logic programming – formal foundations of quantitative and statistical inference in constrained based natural language processing
  Riezler, Stefan 1999 Inst. für Maschinelle Sprachverarbeitung, Lehrstuhl für Theoretische Computerlinguistik
• Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning
  Dylus, Sandra ; Hanus, Michael ; Voigtländer, Janis 2020 Universitätsbibliothek Kiel
• WESSBAS: extraction of probabilistic workload specifications for load testing and performance prediction—a model-driven approach for session-based application systems
  Vögele, Christian ; Hoorn, André ˜vanœ ; Schulz, Eike ; Hasselbring, Wilhelm ; Krcmar, Helmut
• Enhancing UAV navigation with dynamic programming and hybrid probabilistic route mapping: an improved dynamic window approach
  Venkatasivarambabu, Pamarthi ; Agrawal, Richa