BriefGPT.xyz
Ask
alpha
关键词
finite-state machines
搜索结果 - 5
三台弱同步系统的图灵能力
在弱同步系统中,我们研究了有限状态机和异步消息传递分布式系统,特别是对于 p2p (FIFO) 通信,我们证明了三个进程的弱同步系统的配置可达性问题是不可判定的,并且其生成的消息序列图具有任意大的树宽。
PDF
a year ago
无定形堡垒:观察多智体有限状态机的新兴行为
介绍了一种名为 Amorphous Fortress 的系统,这是一个抽象的、空间的、开放式的人工生命模拟环境,其中智能体表示为有限状态机,允许在受限空间内进行多智能体交互。使用山峰爬升演化搜索算法探索生成的有限状态机的不同深度和交互水平,
→
PDF
a year ago
ICML
重新理解循环策略网络的有限状态表达
该研究提出了一种通过分析未经最小化的有限状态机以及应用更可解释的规约方式比通过将递归策略网络转换为有限状态机之后进行分析更好地理解受控策略并达到更加深刻认识的方法,另外还提供了一种注意力工具,用于刻画观察对决策的影响,并在 7 个 Atar
→
PDF
4 years ago
ACL
使用术语约束的神经机器翻译解码
本研究描述了基于有限状态机和多堆栈解码的受约束神经机器翻译解码方法,支持目标端约束以及对应对齐输入文本跨度的约束条件,在多个翻译任务上表现出较好的性能,通过注意力受约束解码的方式减少用户约束翻译时的错置和重复。
PDF
6 years ago
基于场景和时态属性的确定性有限状态机识别
本文提出四种方法来解决从测试场景和线性时态逻辑表示的时间规范中识别最小有限状态机 (FSM) 的问题,并通过若干测试研究表明迭代 SAT 算法是最有效的方法。
PDF
8 years ago
Prev
Next