„probabilistic program“

Suchergebnisse

392 Treffer

• 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
• Hölder and Lipschitz stability of solution sets in programs with probabilistic constraints
  Henrion, René ; Römisch, Werner
• Debugging convergence problems in probabilistic programs via program representation learning with SixthSense
  Huang, Zixin ; Dutta, Saikat ; Misailovic, Sasa
• 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
• On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs
  Lesage, Benjamin ; Griffin, David ; Altmeyer, Sebastian ; Cucu-Grosjean, Liliana ; Davis, Robert I.
• 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
• Semantics of probabilistic typed lambda calculus – markov chain semantics, termination behavior, and denotational semantics
  Draheim, Dirk 2017 Springer
• Strong convergence rates of probabilistic integrators for ordinary differential equations
  Lie, Han Cheng ; Stuart, A. M. ; Sullivan, T. J.
• Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
  Batz, Kevin ; Biskup, Tom Jannik ; Katoen, Joost-Pieter ; Winkler, Tobias 2024 Universitätsbibliothek der RWTH Aachen
• Model Checking Temporal Properties of Recursive Probabilistic Programs
  Winkler, Tobias ; Gehnen, Christina ; Katoen, Joost-Pieter 2023 Universitätsbibliothek der RWTH Aachen
• A probabilistic meta-heuristic optimisation algorithm for image multi-level thresholding
  Najaran, Mohammad Hassan Tayarani
• Modeling PU learning using probabilistic logic programming
  Verreet, Victor ; De Raedt, Luc ; Bekker, Jessa
• Handbook of statistical bioinformatics
  Lu, Henry Horng-Shing ; Schölkopf, Bernhard ; Wells, Martin T. ; Zhao, Hongyu 2022 Springer
• Continuity of the feasible solution sets of probabilistic constrained programs
  Wang, J.
• On properties of the probabilistic constrained linear programming problem and its dual
  Komáromi, É
• Probabilistic constraints in primal and dual linear programs: Duality results
  Komáromi, É
• A novel robust probabilistic chance constrained programming and strategic analysis for Agri-food closed-loop supply chain under pandemic crisis
  Rahbari, Misagh ; Arshadi Khamseh, Alireza ; Mohammadi, Mohammad
• Probabilistic estimation of comprehensive utility based on user preference and network condition for network selection in future in HetNet
  Yadav, Ashok Kumar ; Singh, Karan ; Srivastava, Pramod Kumar
• Hölder and Lipschitz stability of solution sets in programs with probabilistic constraints
  Henrion, René ; Römisch, Werner 2002 WIAS