Contents

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

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

A High Diamond Theorem Li Ang-sheng and Yang Dong-ping 2000,11(1):23-39 [Abstract(3558)]  [View PDF(4809)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(4532)]  [View PDF(4966)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(4236)]  [View PDF(5037)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(3198)]  [View PDF(4639)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(3709)]  [View PDF(4600)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(3834)]  [View PDF(4874)403.45 K]

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

Research on Automatic Fuzzy Rule Acquisition Based on Genetic Algorithms CHEN Ming and SHEN Li 2000,11(1):85-90 [Abstract(3412)]  [View PDF(4442)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(3623)]  [View PDF(4208)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(4468)]  [View PDF(4679)610.56 K]

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

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

A Proof Assistant for Interval Logics HU Cheng-jun,WANG Ji and CHEN Huo-wang 2000,11(1):116-121 [Abstract(3862)]  [View PDF(4916)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(3793)]  [View PDF(4814)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(3388)]  [View PDF(4387)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(4519)]  [View PDF(4955)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(4665)]  [View PDF(5122)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(7589)]  [View PDF(7230)679.56 K]