PulseAugur
中
实时 10:42:53
实体 producer-consumer-threat formalism

producer-consumer-threat formalism

PulseAugur coverage of producer-consumer-threat formalism — every cluster mentioning producer-consumer-threat formalism 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_256862 ·

    新研究比较了自动化规划的执行灵活性策略

    一篇新的研究论文探讨了通过修改顺序计划为部分顺序计划来增强自动化规划系统灵活性的策略。该研究比较了去排序和重排序技术，发现块去排序方法（对动作进行分组并替换子计划）的性能明显优于基于MaxSAT的方法。块去排序提供了任意时间执行和更高的计算效率，使其在现实世界的应用中更加实用，尤其是在具有基于资源交互的领域。