PulseAugur
中
实时 08:30:53
实体 Hamming distance

Hamming distance

PulseAugur coverage of Hamming distance — every cluster mentioning Hamming distance 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_141348 ·

    新框架从系统演示中学习不确定的时序逻辑规范

    研究人员开发了一个新框架，用于从可能包含不确定性的系统演示中学习线性时序逻辑（LTL）公式。该方法解决了系统轨迹可能因传感器故障或数据丢失等问题而不完整或错误的实际挑战。通过使用汉明距离对不确定性进行建模，并围绕观测到的轨迹生成估计，该框架将问题简化为伪布尔优化，旨在恢复在不确定条件下更准确地反映真实情况的规范。