Probabilistic programs; Expected runtimes Weakest preconditions; Program verification;
机译:逐步的II型删失样本下预期的总测试时间和贝叶斯估计的广义Lindley分布,其中删除遵循Beta-二项式概率定律
机译:考虑检验误差的基于动态规划和贝叶斯推理的验收抽样模型成本分析
机译:连续时间贝叶斯网络的重要性抽样
机译:我将对您的贝叶斯网络进行采样多长时间?对预期采样时间的程序分析观点
机译:通过线性扩展的完美采样在贝叶斯网络中进行网络结构采样
机译:呼吸病毒16种采样方法检出率的比较:临床数据贝叶斯网络荟萃分析及系统评价
机译:移动传感器网络的贝叶斯预测和自适应采样算法:时空在线环境场重构
机译:沿海海洋建模和观测计划:实时自适应采样网络。