优先搜索算法相关论文
移动机器人技术已经广泛地应用在智能制造、医疗看护、巡防监测、救援搜索等多个领域。相比于单移动机器人系统，移动机器人集群系统......
有界模型检测是寻找系统错误的一种符号化模型检测技术。它使用可满足性问题求解器求解模型检测问题，避免了其他模型检测技术面临的......
针对基于特征匹配的目标识别算法复杂度高、难以实时处理的问题,提出基于快速鲁棒性特征(SURF)的快速特征匹配算法。通过应用双阈......
最短路径问题（ＳＰ）是人工智能的一个活跃研究方向，也是交通网络分析系统的一个最基本问题，在理论和应用上有着广泛而深入的研究。本文从应......
