Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139;
PCPPs; PCPs; probabilistically checkable debates;
机译:高效的概率检查辩论
机译:概率可检验的辩论系统与PSPACE-Hard函数的不可近似性
机译:SPOT数据库:概率空间数据库中的有效一致性检查和乐观选择
机译:高效的概率审查辩论
机译:摄动分析在概率模型检验中的应用
机译:经过非概率反馈训练的通用神经网络中的有效概率推理
机译:高效的概率可检查辩论