English
Related papers

Related papers: Visualizing Probabilistic Proof

200 papers

This work introduces a multidimensional generalization of the maximum bisection problem. A mixed integer linear programming formulation is proposed with the proof of its correctness. The numerical tests, made on the randomly generated…

Discrete Mathematics · Computer Science 2015-06-26 Zoran Maksimovic

Our study is dedicated to the probabilistic representation and numerical approximation of solutions to coupled systems of variational inequalities. The dynamics of each component of the solution is driven by a different linear parabolic…

Probability · Mathematics 2014-01-10 Romuald Elie , Idris Kharroubi

Visualization as a discipline often grapples with generalization by reasoning about how study results on the efficacy of a tool in one context might apply to another context. This work offers an account of the logic of generalization in…

Human-Computer Interaction · Computer Science 2025-08-12 Alex Kale

Rapidly growing data sizes of scientific simulations pose significant challenges for interactive visualization and analysis techniques. In this work, we propose a compact probabilistic representation to interactively visualize large…

Graphics · Computer Science 2020-10-16 Tobias Rapp , Christoph Peters , Carsten Dachsbacher

Valuation-Based~System can represent knowledge in different domains including probability theory, Dempster-Shafer theory and possibility theory. More recent studies show that the framework of VBS is also appropriate for representing and…

Artificial Intelligence · Computer Science 2019-09-27 Mieczysław A. Kłopotek , Sławomir T. Wierzchoń

This paper suggests a new interpretation of the Dempster-Shafer theory in terms of probabilistic interpretation of plausibility. A new rule of combination of independent evidence is shown and its preservation of interpretation is…

Artificial Intelligence · Computer Science 2017-04-07 Mieczysław Kłopotek

The probabilistic bisection algorithm (PBA) solves a class of stochastic root-finding problems in one dimension by successively updating a prior belief on the location of the root based on noisy responses to queries at chosen points. The…

Probability · Mathematics 2016-12-14 Peter I. Frazier , Shane G. Henderson , Rolf Waeber

We present results from a preregistered and crowdsourced user study where we asked members of the general population to determine whether two samples represented using different forms of data visualizations are drawn from the same or…

Human-Computer Interaction · Computer Science 2023-09-25 Eric Newburger , Niklas Elmqvist

In this paper, we propose a probabilistic framework for solving the task of `Visual Dialog'. Solving this task requires reasoning and understanding of visual modality, language modality, and common sense knowledge to answer. Various…

Computer Vision and Pattern Recognition · Computer Science 2019-10-18 Badri N. Patro , Anupriy , Vinay P. Namboodiri

In this paper we show that there is a link between approximate Bayesian methods and prior robustness. We show that what is typically recognized as an approximation to the likelihood, either due to the simulated data as in the Approximate…

Methodology · Statistics 2020-04-03 Chaitanya Joshi , Fabrizio Ruggeri

Bayesian hypothesis tests leverage posterior probabilities, Bayes factors, or credible intervals to inform data-driven decision making. We propose a framework for power curve approximation with such hypothesis tests. We present a fast…

Methodology · Statistics 2024-10-08 Luke Hagar , Nathaniel T. Stevens

We explore the notion of uncertainty in the context of modern abstractive summarization models, using the tools of Bayesian Deep Learning. Our approach approximates Bayesian inference by first extending state-of-the-art summarization models…

Computation and Language · Computer Science 2022-05-04 Alexios Gidiotis , Grigorios Tsoumakas

We present an astonishingly simple and elegant proof of the celebrated Basel problem.

Classical Analysis and ODEs · Mathematics 2025-06-16 Jesus Retamozo

Regularization and Bayesian methods for system identification have been repopularized in the recent years, and proved to be competitive w.r.t. classical parametric approaches. In this paper we shall make an attempt to illustrate how the use…

Systems and Control · Computer Science 2015-11-06 A. Chiuso

It is commonly known that any Bayesian network can be implemented as a probabilistic program, but the reverse direction is not so clear. In this work, we address the open question to what extent a probabilistic program with user-labelled…

Programming Languages · Computer Science 2025-08-29 Markus Böck , Jürgen Cito

Bayesian networks provide an elegant formalism for representing and reasoning about uncertainty using probability theory. Theyare a probabilistic extension of propositional logic and, hence, inherit some of the limitations of propositional…

Artificial Intelligence · Computer Science 2007-05-23 Kristian Kersting , Luc De Raedt

A new method is developed to represent probabilistic relations on multiple random events. Where previously knowledge bases containing probabilistic rules were used for this purpose, here a probability distribution over the relations is…

Artificial Intelligence · Computer Science 2013-02-08 Manfred Jaeger

In this article, we survey some controversial problems concerning the idea of erasing Which Way information proposed in recent years. A statistical examination of these proposals suggests that whenever the Bayesian rule is taken into…

Quantum Physics · Physics 2007-08-20 Mohammad Bahrami , Afshin Shafiee

This paper is motivated by the questions of how to give the concept of probability an adequate real-world meaning, and how to explain a certain type of phenomenon that can be found, for instance, in Ellsberg's paradox. It attempts to answer…

Other Statistics · Statistics 2022-03-25 Russell J. Bowater

Statistical hypothesis testing serves as statistical evidence for scientific innovation. However, if the reported results are intentionally biased, hypothesis testing no longer controls the rate of false discovery. In particular, we study…

Methodology · Statistics 2018-10-12 Junpei Komiyama , Takanori Maehara