Contents

THREE DIMENSIONAL VOLUME DATA FIELD RECONSTRUCTION FROM PHYSICS MODEL DONG Feng,CAI Wenli,CHEN Tianzhou and SHI Jiaoying 1997,8(11):801-808 [Abstract(3294)]  [View PDF(4995)1.69 M]

LOOP EMBEDDING APPLIED TO DO LOOPS WITH PROCEDURE CALLS YUAN Qingneng,DING Yonghua,ZANG Binyu and ZHU Chuanqi 1997,8(11):809-816 [Abstract(3174)]  [View PDF(4443)550.93 K]

A SPECIFICATION LANGUAGE FOR FORMAL DEVELOPMENT ENVIRONMENT OF PRACTICAL PROTOCOLS LUO Tiegeng,CHEN Huowang,QI Zhichang and GONG Zhenghu 1997,8(11):817-823 [Abstract(4023)]  [View PDF(4712)443.46 K]

AGENT ORIENTED PROGRAMMING YAO Zheng and GAO Wen 1997,8(11):824-831 [Abstract(3849)]  [View PDF(5500)551.16 K]

SOME TECHNIQUES OF CHARACTER REFINEMENT HU Yongqian 1997,8(11):832-837 [Abstract(3529)]  [View PDF(4576)365.49 K]

A CUMULATIVE ARGUMENT SYSTEM WANG Kewen and HU Jiuren 1997,8(11):838-851 [Abstract(3393)]  [View PDF(4423)839.05 K]

A SOFTWARE AGENT INTEROPERATION SYSTEM FOR MAINTAINING KNOWLEDGE BASES SHEN Ningchuan,LONG Xiang and LIAO Hongbin 1997,8(11):852-856 [Abstract(3902)]  [View PDF(4265)315.01 K]

EXTRACTION AND SYNTHESIS OF CONTROL INFORMATION IN HIGH LEVEL SYNTHESIS YE Meilong,ZHANG Dongxiao,HENG Donghui and JIN Yi 1997,8(11):857-863 [Abstract(3715)]  [View PDF(4875)419.33 K]

AUTOMATIC DISCOVERY OF GENERALIZED SEQUENTIAL PATTERN IN DATABASES OU-YANG Weimin and CAI Qingsheng 1997,8(11):864-870 [Abstract(3654)]  [View PDF(4523)479.33 K]

AUTOMATIC SEARCHING FOR ARRAYS SHARED VARIABLES IN PARALLELIZING FLOWFIELD APPLICATIONS XIAO Li and KANG Jichang 1997,8(11):871-874 [Abstract(3659)]  [View PDF(4151)275.73 K]

THE INCREMENTAL LEARNING ALGORITHM IN HYBRID LEARNING MODEL HLM CHEN Zhaoqian,ZHOU Zhihua,LI Hongbing and XIE Junyuan 1997,8(11):875-880 [Abstract(3982)]  [View PDF(4738)386.30 K]