Contents

Preservation of Liveness and Deadlock-Freeness in Synchronous Synthesis of Petri Net Systems PU Fei and LU Wei-Ming 2003,14(12):1977-1988 [Abstract(4456)]  [View PDF(6112)1.25 M]

An Automatic Generation Technique for Monad Lü Jiang-Hua and JIN Cheng-Zhi 2003,14(12):1989-1995 [Abstract(3806)]  [View PDF(5339)595.30 K]

Constructing Binary Classification Trees with High Intelligibility JIANG Yan-Huang,YANG Xue-Jun and ZHAO Qiang-Li 2003,14(12):1996-2005 [Abstract(4125)]  [View PDF(5477)769.67 K]

An Improved Sequential Minimal Optimization Learning Algorithm for Regression Support Vector Machine ZHANG Hao-Ran and HAN Zheng-Zhi 2003,14(12):2006-2013 [Abstract(4335)]  [View PDF(7502)700.39 K]

Continuous Speech Recognition and Verification Based on a Combination Score Yan Bin-Feng and Zhu Xiao-Yan 2003,14(12):2014-2020 [Abstract(4115)]  [View PDF(6271)605.90 K]

A Nonrepudiable Threshold Proxy Signcryption Scheme with Known Proxy Agent LI Ji-Guo,LI Jian-Zhong,CAO Zhen-Fu and ZHANG Yi-Chen 2003,14(12):2021-2027 [Abstract(4471)]  [View PDF(5478)592.05 K]

A Comparison Between Two Formal Analysis Methods on Authentication Protocols QING Si-Han 2003,14(12):2028-2036 [Abstract(3689)]  [View PDF(5415)739.21 K]

An Enhanced NAT-PT Model ZENG Li-An,CHENG Zhao-Hui and LING Li 2003,14(12):2037-2044 [Abstract(4643)]  [View PDF(5651)616.49 K]

A Dynamic Location Updating Management Scheme in Low Earth Orbit Networks WANG Liang and ZHANG Nai-Tong 2003,14(12):2045-2051 [Abstract(3749)]  [View PDF(5307)534.20 K]

A Study of the Key Distribution in Secure Multicast ZHU Wen-Tao,XIONG Ji-Ping,LI Jin-Sheng and HONG Pei-Lin 2003,14(12):2052-2059 [Abstract(3857)]  [View PDF(6110)760.12 K]

A Scheme and Behavior Analysis of Duplicated Ports Switches with Line Rate Buffers WU Jun,CHEN Qing and LUO Jun-Zhou 2003,14(12):2060-2067 [Abstract(4100)]  [View PDF(5759)644.26 K]

A Distributed Algorithm for Content-Aware Web Server Clusters DU Zeng-Kai,ZHENG Ming-Yang and JU Jiu-Bin 2003,14(12):2068-2073 [Abstract(4125)]  [View PDF(6027)636.96 K]

Centerline Extraction Based on Hessian Matrix LI Guang-Ming,TIAN Jie,ZHAO Ming-Chang and HE Hui-Guang 2003,14(12):2074-2081 [Abstract(5172)]  [View PDF(9302)940.78 K]

Curve Interpolation Based on Non-Uniform Catmull-Clark Subdivision Scheme ZHANG Jing-Qiao,WANG Guo-Jin and ZHENG Jian-Min 2003,14(12):2082-2091 [Abstract(4046)]  [View PDF(6756)948.41 K]

A Decision Method for Under-,Over-and Well-Constrainess of Parametric Model JIANG Kun,GAO Xiao-Shan and YUE Jing-Yan 2003,14(12):2092-2097 [Abstract(4505)]  [View PDF(6250)621.08 K]

Analysis and Application of the Facial Expression Motions Based on Eigen-Flow JIN Hui and GAO Wen 2003,14(12):2098-2105 [Abstract(4594)]  [View PDF(7456)1.47 M]

Approximating the Derivative Bounds of Parametric Curves and Applying to Curve Rasterization XIE Ben-Huai and WANG Guo-Jin 2003,14(12):2106-2112 [Abstract(3525)]  [View PDF(5311)668.19 K]