Contents

Hybrid Systems in XYZ/E YAN An and TANG Zhi-song 2000,11(1):1-7 [Abstract(3638)]  [View PDF(4335)388.83 K]

Combining OO and Functional Language Concepts QIAN Zhen-yu and Besma Abd Moulah 2000,11(1):8-22 [Abstract(3638)]  [View PDF(4711)868.19 K]

A High Diamond Theorem Li Ang-sheng and Yang Dong-ping 2000,11(1):23-39 [Abstract(3497)]  [View PDF(4231)931.40 K]

Computing the Parameters of Points on Nurbs Curves and Surfaces via Moving Affine Frame Method HU Shi-min,SUN Jia-guang,JIN Tong-guang and WANG Guo-zhao 2000,11(1):49-53 [Abstract(4390)]  [View PDF(4416)312.70 K]

Appearance-Based Dynamic Hand Gesture Recognition from Image Sequences with Complex Background ZHU Yuan-xin,XU Guang-you and HUANG Yu 2000,11(1):54-61 [Abstract(4172)]  [View PDF(4531)1.86 M]

Describing Services on an Internet Marketplace Using Extensible Markup Langua ZHOU Xiao-bo,DU Peng,CHEN Gui-hai,CHEN Dao-xu and XIE Li 2000,11(1):62-66 [Abstract(3130)]  [View PDF(4107)692.35 K]

A Data-Decomposition-Based Development Method of Concurrent Object-Oriented Programs YANG Da-jun and Lü Jian 2000,11(1):67-72 [Abstract(3651)]  [View PDF(4036)425.53 K]

Extracting Semi-Structured Information from the WEB HUANG Yu-qing,QI Guang-zhi and ZHANG Fu-yan 2000,11(1):73-78 [Abstract(3779)]  [View PDF(4398)403.45 K]

Active Network on Mobile Agents ZENG Xiao-ping,SUN Yong-qiang and XIE Jian-hua 2000,11(1):79-84 [Abstract(3824)]  [View PDF(4176)491.75 K]

Research on Automatic Fuzzy Rule Acquisition Based on Genetic Algorithms CHEN Ming and SHEN Li 2000,11(1):85-90 [Abstract(3343)]  [View PDF(3960)357.37 K]

Anti-Unification Algorithm Based on Multi-Pattern XU Xi-chun,HU Yun-fa and SHI Bai-le 2000,11(1):91-94 [Abstract(3566)]  [View PDF(3678)252.82 K]

Predicting Allocation Algorithm in Distributed Real-Time Systems XU Jian-feng,ZHU Qing-bo,HU Ning and XIE Li 2000,11(1):95-103 [Abstract(4379)]  [View PDF(4173)610.56 K]

On Refinement of Model Structure for Stochastic Petri Nets LIN Chuang 2000,11(1):104-109 [Abstract(3585)]  [View PDF(4365)395.30 K]

A Shape-Based Image Information Retrieval Method LIU Ji-min and SHI Zhong-zhi 2000,11(1):109-115 [Abstract(3296)]  [View PDF(4289)654.21 K]

A Proof Assistant for Interval Logics HU Cheng-jun,WANG Ji and CHEN Huo-wang 2000,11(1):116-121 [Abstract(3791)]  [View PDF(4377)388.14 K]

Design and Implementation of a Virtual Internet Server ZHANG Wen-song,WU Ting-ting,JIN Shi-yao and WU Quan-yuan 2000,11(1):122-125 [Abstract(3741)]  [View PDF(4303)789.55 K]

Eliminate Redundant Loop-Carried Flow Dependences for VLIW Architectures RONG Hong-bo and TANG Zhi-zhong 2000,11(1):126-132 [Abstract(3335)]  [View PDF(3913)411.49 K]

An Algorithm for Improving the Accuracy of Cerebella Model Articulation Controller Neural Networks and Simulation Application ZHU Qing-bao and CHEN Zhen 2000,11(1):133-137 [Abstract(4462)]  [View PDF(4471)341.92 K]

A New Graph Drawing Algorithm for Undirected Graphs HUANG Jing-wei,HUANG Jing-wei and CHEN Yu-ping 2000,11(1):138-142 [Abstract(4600)]  [View PDF(4591)331.75 K]

Review Articles

Distributed Multimedia Database Systems GONG Zhi-guo,GONG Zhi-guo and GONG Zhi-guo 2000,11(1):40-48 [Abstract(7518)]  [View PDF(6152)679.56 K]