PulseAugur
实时 10:58:49
实体 Weighted Automata Algorithms

Weighted Automata Algorithms

PulseAugur coverage of Weighted Automata Algorithms — every cluster mentioning Weighted Automata Algorithms 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 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_26342 ·

    新的基于SMT的算法可高效学习加权自动机

    研究人员开发了一种新的基于SMT的非确定性加权自动机(WFA)主动学习算法。该方法为现有技术提供了一种实用且稳健的替代方案,可生成最小化的WFA,并在实验评估中表现出强大的性能。该算法是参数化的,如果终止则保证生成最小化的WFA,并对有限半环证明了终止条件。