中文
相关论文

相关论文: Compatibility of Quantitative and Qualitative Repr…

200 篇论文

The study of theory combination in Satisfiability Modulo Theories (SMT) involves various model theoretic properties (e.g., stable infiniteness, smoothness, etc.). We show that such properties can be partly captured by the natural density of…

计算机科学中的逻辑 · 计算机科学 2025-05-23 Guilherme V. Toledo , Yoni Zohar

Parameter estimation based on uncertain data represented as belief structures is one of the latest problems in the Dempster-Shafer theory. In this paper, a novel method is proposed for the parameter estimation in the case where belief…

人工智能 · 计算机科学 2014-02-18 Xinyang Deng , Yong Hu , Felix Chan , Sankaran Mahadevan , Yong Deng

A classical result in risk measure theory states that every coherent risk measure has a dual representation as the supremum of certain expected value over a risk envelope. We study this topic in more detail. The related issues include: 1.…

最优化与控制 · 数学 2018-02-28 Marcus Ang , Jie Sun , Qiang Yao

Machine learning models are often used to inform real world risk assessment tasks: predicting consumer default risk, predicting whether a person suffers from a serious illness, or predicting a person's risk to appear in court. Given…

机器学习 · 计算机科学 2023-06-27 Jamelle Watson-Daniels , David C. Parkes , Berk Ustun

Suppose N parties describe the state of a quantum system by N possibly different density operators. These N state assignments represent the beliefs of the parties about the system. We examine conditions for determining whether the N state…

量子物理 · 物理学 2009-11-07 Carlton M. Caves , Christopher A. Fuchs , Ruediger Schack

Possibilistic and qualitative POMDPs (pi-POMDPs) are counterparts of POMDPs used to model situations where the agent's initial belief or observation probabilities are imprecise due to lack of past experiences or insufficient data…

人工智能 · 计算机科学 2013-09-27 Nicolas Drougard , Florent Teichteil-Konigsbuch , Jean-Loup Farges , Didier Dubois

Shafer's belief functions were introduced in the seventies of the previous century as a mathematical tool in order to model epistemic probability. One of the reasons that they were not picked up by mainstream probability was the lack of a…

概率论 · 数学 2017-03-27 Timber Kerkvliet , Ronald Meester

Composite likelihood inference has gained much popularity thanks to its computational manageability and its theoretical properties. Unfortunately, performing composite likelihood ratio tests is inconvenient because of their awkward…

统计计算 · 统计学 2014-08-01 Manuela Cattelan , Nicola Sartori

The fundamental principles of complementarity and uncertainty are shown to be related to the possibility of joint unsharp measurements of pairs of noncommuting quantum observables. A new joint measurement scheme for complementary…

量子物理 · 物理学 2009-11-07 P. Busch , C. R. Shilladay

Reliability is an essential measure of how closely observed scores represent latent scores (reflecting constructs), assuming some latent variable measurement model. We present a general theoretical framework of reliability, placing emphasis…

统计方法学 · 统计学 2024-10-29 Yang Liu , Jolynn Pek , Alberto Maydeu-Olivares

Functional data analysis is proved to be useful in many scientific applications. The physical process is observed as curves and often there are several curves observed due to multiple subjects, providing the replicates in statistical sense.…

统计方法学 · 统计学 2018-01-30 Tapabrata Maiti , Abolfazl Safikhani , Ping-Shou Zhong

This thesis is concerned with quantitative verification, that is, the verification of quantitative properties of quantitative systems. These systems are found in numerous applications, and their quantitative verification is important, but…

计算机科学中的逻辑 · 计算机科学 2022-04-26 Uli Fahrenberg

By representing the range of fair betting odds according to a pair of confidence set estimators, dual probability measures on parameter space called frequentist posteriors secure the coherence of subjective inference without any prior…

统计理论 · 数学 2012-05-02 David R. Bickel

Quantum incompatibility, referred as the phenomenon that some quantum measurements cannot be performed simultaneously, is necessary for various quantum information processing tasks, such as nonlocality and steering. When these applications…

量子物理 · 物理学 2024-11-19 Xiaolin Zhang , Rui Qu , Zehong Chang , Yunlong Wang , Zhenyu Guo , Min An , Hong Gao , Fuli Li , Pei Zhang

The existence of incompatible measurements, epitomized by Heisenberg's uncertainty principle, is one of the distinctive features of quantum theory. So far, quantum incompatibility has been studied for measurements that test the preparation…

量子物理 · 物理学 2017-03-16 Michal Sedlak , Daniel Reitzner , Giulio Chiribella , Mario Ziman

Note: Published now as a chapter in "Handbook of the History and Philosophy of Mathematical Practice" (Springer Nature, editor B. Sriraman, https://doi.org/10.1007/978-3-030-19071-2_105-1). The application of mathematical probability theory…

其他统计学 · 统计学 2023-11-21 Christian Hennig

Many organizations describe their processes as consensus-driven, but there is no consensus on the definition of consensus. Qualitative definitions of consensus prioritize social phenomena like "unity" that are not necessarily measurable.…

社会与信息网络 · 计算机科学 2024-11-20 David Flater

We consider the problem of late multi-modal fusion for discriminative learning. Motivated by noisy, multi-source domains that require understanding the reliability of each data source, we explore the notion of credibility in the context of…

机器学习 · 计算机科学 2024-07-18 Sahil Sidheekh , Pranuthi Tenali , Saurabh Mathur , Erik Blasch , Kristian Kersting , Sriraam Natarajan

Inappropriate use of Dempster's rule of combination has led some authors to reject the Dempster-Shafer model, arguing that it leads to supposedly unacceptable conclusions when defaults are involved. A most classic example is about the…

人工智能 · 计算机科学 2013-04-05 Philippe Smets , Yen-Teh Hsia

Qualitative relationships illustrate how changing one property (e.g., moving velocity) affects another (e.g., kinetic energy) and constitutes a considerable portion of textual knowledge. Current approaches use either semantic parsers to…

计算与语言 · 计算机科学 2021-06-07 Mucheng Ren , Heyan Huang , Yang Gao
‹ 上一页 1 8 9 10 下一页 ›