proof tree 中文意思是什麼
proof tree
解釋
證明樹-
A short proof of generating function of absolute tree
關于絕對恆樹常生成函數的一個簡短證明 -
E3d r - tree takes into account the features of moving object data and takes advantage of new cost parameters. in particular, least - cost - first search algorithm is used in the insertion algorithm to find the overall best way to insert a new record in e3d r - tree. the proof of the vidility of the algorithm is given
在e3dr - tree中,結合移動對象數據特徵引入空白區域作為新的插入代價參數,同時,在插入演算法中利用最小代價優先搜索演算法確定全局最優插入路徑,並給出演算法正確性證明。 -
It extracts process information from the proof tree by analyzing every node of resolution proof tree to extract procedure. and the partial correctness of the extracted procedure is proved
這一方法的特點是,抽取演算法的時間、空間復雜度都是線性的,並且抽取演算法本身十分簡單,易於實現。
分享友人