PulseAugur
中
实时 09:56:51
实体 Kevin Schmitt

Kevin Schmitt

PulseAugur coverage of Kevin Schmitt — every cluster mentioning Kevin Schmitt across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_256990 ·

    新的蒙特卡洛算法为DNF模型计数提供数量级的加速

    研究人员开发了一种新颖的蒙特卡洛算法，用于对析取范式（DNF）公式进行近似模型计数。这种新方法包含自适应停止规则和高效的短路公式评估。该算法被证明可以实现概率近似正确（PAC）学习界，并与现有方法相比显示出优越的渐近效率。实验结果表明，其性能比以前的算法提高了几个数量级，能够处理数百万变量的问题。