研究人员通过将其重新表述为完全单模线性规划（LP）开发了一种新的流程一致性检查方法。这种LP方法显著加快了具有偏差的长流程跟踪速度，补充了现有的基于A*的启发式搜索，后者在较短、符合度高的跟踪上表现更好。对超过210万个实例的广泛评估表明，结合这两种方法可以实现平均38.6%的运行时节省和高选择准确率。 AI
影响 引入了一种更有效的流程一致性检查方法，可能改进复杂运营数据的分析。
排序理由 该集群包含一篇学术论文，详细介绍了一种解决计算机科学特定问题的新算法方法。[lever_c_demoted from research: ic=2 ai=0.4]
AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →
arXiv:2605.26938v1 Announce Type: new Abstract: Alignment-based conformance checking is the state-of-the-art approach for comparing observed process executions with normative process models. The standard exact solution relies on an A*-based heuristic search, which can exhibit exp…
Alignment-based conformance checking is the state-of-the-art approach for comparing observed process executions with normative process models. The standard exact solution relies on an A*-based heuristic search, which can exhibit exponential runtime in the presence of long traces …