PulseAugur
中
实时 21:10:47
实体 Epik

Epik

PulseAugur coverage of Epik — every cluster mentioning Epik 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_183180 ·

    新的EPIK方法增强了用于软件验证的贝叶斯学习

    研究人员开发了EPIK，一种将贝叶斯学习与定量验证相结合的新方法，用于分析软件系统的可靠性和响应时间等属性。EPIK通过提取和嵌入直接可观察且具有语义意义的系统级属性来解决先验知识不准确或信息不足的挑战，而不是依赖于形式化模型的转移参数。实验评估证明了EPIK在各种真实案例研究中的有效性、灵活性和通用性。