partial-order

基本解釋

The authors updated clause searching method to first-order by partial instantiation method.
結(jié)合部分實(shí)例化方法將子句搜索方法提升至一階。
A condition of a one-order quasilinear partial differential equation of a traffic model forming unique shock wave is given end proved.
本文討論了一交通模型的一階擬線性偏微分方程激波產(chǎn)生唯一性的條件并給了嚴(yán)格的證明。
The two algorithms for concept learning efficiently complete the whole search through the hypothesis space based on a very useful structure: the general-to-specific partial order.
對于這兩種算法來說，都是利用一般到特殊序的偏序結(jié)構(gòu)來完成整個(gè)搜索過程。