Formal development; Loop invariant; Non-recursive graph search algorithms; PAR platform; Depth-first search; Breadth-first search;
机译:一种高效的非递归算法,将时间序列转换为可见性图
机译:计算争议:用于检测Wikipedia和搜索查询中争议的正式模型和算法
机译:通过形式转换推导数据密集型算法:Schnorr-Waite图标记算法
机译:图形搜索非递归算法正式发展研究
机译:适用于大型图的可搜索算法。
机译:利用精简图进行地理信息系统最短路径搜索的算法
机译:形式算法+形式表示=搜索策略