Contents

DESIGN AND IMPLEMENTATION OF AN INTELLIGENT POST-EDITOR Huang Heyan and Chen Zhaoxiong 1995,6(3):129-135 [Abstract(4490)]  [View PDF(5457)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(4854)]  [View PDF(5758)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(4176)]  [View PDF(5409)390.82 K]

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

STUDY OF COST-ERROR RELATIONSHIP IN A* TREE-SEARCHING ALGORITHM Jin Hai and Xie Wei 1995,6(3):155-158 [Abstract(4456)]  [View PDF(5383)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(4026)]  [View PDF(5191)347.97 K]

THE PRINCIPLES AND IMPLEMENTATION OF ANALOGICAL TRANSFER Li Bo,Luo Yulong and Zhao Qinping 1995,6(3):164-172 [Abstract(4482)]  [View PDF(5392)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(4531)]  [View PDF(5866)367.04 K]

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

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