PulseAugur
中
实时 10:26:24
实体 design by contract

design by contract

PulseAugur coverage of design by contract — every cluster mentioning design by contract 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_191329 ·

    新的亚二次方法改进了 MDP 的双模拟度量计算

    研究人员开发了一种新颖的亚二次方法来计算马尔可夫决策过程（MDP）中的双模拟度量。这种新方法利用近似最近邻（ANN）索引来有效地选择状态对进行更新，与传统的二次方法相比，大大降低了计算成本。该技术提供了覆盖增强的保证，确保即使并非所有状态对都得到更新，全局误差也能得到控制，并提供了可计算的双边证书来验证度量的准确性。