Contents

DESIGN AND IMPLEMENTATION OF AN INTELLIGENT POST-EDITOR Huang Heyan and Chen Zhaoxiong 1995,6(3):129-135 [Abstract(3689)]  [View PDF(3924)520.61 K]

THE INTER-CLAUSE OPTIMIZATION TECHNIQUE IN THE IMPLEMENTATION OF PROLOG-DBMS SYSTEMS Li Lei,Zuo Wanli and Li Xichun 1995,6(3):136-141 [Abstract(4203)]  [View PDF(4194)365.42 K]

AN IMPROVED TEST SEQUENCES GENERATION METHOD BASED ON FORMAL DESCRIPTION TECHNIQUE Zhang Lidong,Liu Jiren and Li Huatian 1995,6(3):142-147 [Abstract(3460)]  [View PDF(3922)390.82 K]

AN OPEN MODEL OF DYNAMIC LINKING FOR HYPERMEDIA Zhong Yuzhuo and Ran Jianguo 1995,6(3):148-154 [Abstract(3725)]  [View PDF(3822)486.51 K]

STUDY OF COST-ERROR RELATIONSHIP IN A* TREE-SEARCHING ALGORITHM Jin Hai and Xie Wei 1995,6(3):155-158 [Abstract(3850)]  [View PDF(3992)271.69 K]

THE SPECIAL REAL-TIME PARENT SYSTEM AND REAL-TIME SCREEN MANAGEMENT Xing Guoguang,Fan Zhihua and Xu Boyi 1995,6(3):159-163 [Abstract(3323)]  [View PDF(3753)347.97 K]

THE PRINCIPLES AND IMPLEMENTATION OF ANALOGICAL TRANSFER Li Bo,Luo Yulong and Zhao Qinping 1995,6(3):164-172 [Abstract(3776)]  [View PDF(3852)564.40 K]

A METHOD FOR PLANNING THE PATH OF MOBILE ROBOT MOVING ON GENERAL TERRAIN Wang Hong,Wang Xuefu,Zhang Bo and Sun Jiaguang 1995,6(3):173-178 [Abstract(3891)]  [View PDF(4479)367.04 K]

KNOWLEDGE CLOUDS AND KNOWLEDGE ACQUISITION Cao Cungen 1995,6(3):179-185 [Abstract(3555)]  [View PDF(4408)496.88 K]

DEFINING REAL TIME SEMANTICS BY SIMULATION Han Yan 1995,6(3):186-192 [Abstract(3230)]  [View PDF(3422)445.32 K]