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(3221)]  [View PDF(4520)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(3108)]  [View PDF(3968)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(3967)]  [View PDF(4244)443.46 K]

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

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

A CUMULATIVE ARGUMENT SYSTEM WANG Kewen and HU Jiuren 1997,8(11):838-851 [Abstract(3347)]  [View PDF(3938)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(3855)]  [View PDF(3801)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(3674)]  [View PDF(4390)419.33 K]

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

AUTOMATIC SEARCHING FOR ARRAYS SHARED VARIABLES IN PARALLELIZING FLOWFIELD APPLICATIONS XIAO Li and KANG Jichang 1997,8(11):871-874 [Abstract(3609)]  [View PDF(3684)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(3928)]  [View PDF(4252)386.30 K]