termination | BriefGPT - AI 论文速递

关键词termination

搜索结果 - 7

线性存在规则的半遗忘追逐终止：实验研究
本文主要针对线性存在规则和半盲 chase 问题，通过理论研究、算法实现及实验数据评估 Chase 算法的性能限制，以期理解影响加速 Chase 算法终止的参数，探索其在实际中的适用性，并揭示其性能限制。
PDFa year ago
推广计划的分层终止分析
本文提出了一种新的方法，通过算法过程对广义计划的终止和可达性相关属性进行评估，并使用经验分析说明了该方法的范围和效果。
PDF2 years ago
概率终止的随机不变量
研究了带有实值变量的概率程序的终止问题，提出了一种新的概念 —— 随机不变量，以及相应的排斥超级鞅方法，用于计算概率终止的下界、推翻几乎必定终止的证明和建立概率程序的持久性属性。
PDF8 years ago
仿射概率程序定性和定量终止问题的算法分析
本文研究带有实值变量的概率程序的终止性问题，并利用排名超级鞅的概念解决了定性和定量问题，特别是在关于 LRAPP 的多个方面做出了贡献。
PDF9 years ago
有限景观下的最优 Lévy 飞行觅食
我们使用一个简单的模型研究了有限的景观中基于 Lévy-flight 策略的觅食行为，发现终止搜索的步数会对策略的最优参数范围造成显著的影响，并且主观的返回行为在这种情况下也是一个重要的因素。我们的研究不仅为 Lévy-flight 策略提
PDF10 years ago
追逐的解剖学
本文介绍了追赶过程在数据集成、数据交换、查询优化等方面的应用，总结了追赶过程的变种及其性质，并探讨了限制依赖集合以保证追赶过程终止的相关问题，最终证明了确定追赶过程在给定依赖集合上是否对于所有实例终止的问题是 coRE-complete 的
PDF11 years ago
具有 Cut 操作的逻辑程序自动终止分析
本文介绍了一种新的预处理方法，将 Prolog 程序自动转换为无割程序，进而证明定义逻辑程序的终止性，该方法已应用于终止证明器 AProVE 并取得成功。
PDF14 years ago