1000-9825
2003 Issue 12
Preservation of Liveness and Deadlock-Freeness in Synchronous Synthesis of Petri Net Systems
pu fei ; lu wei ming
pu fei ; lu wei ming
..............page:1977-1988
An Automatic Generation Technique for Monad
lv jiang hua ; jin cheng zhi
lv jiang hua ; jin cheng zhi
..............page:1989-1995
Constructing Binary Classification Trees with High Intelligibility
jiang yan huang ; yang xue jun ; zhao qiang li
jiang yan huang ; yang xue jun ; zhao qiang li
..............page:1996-2005
An Improved Sequential Minimal Optimization Learning Algorithm for Regression Support Vector Machine
zhang hao ran ; han zheng zhi
zhang hao ran ; han zheng zhi
..............page:2006-2013
Continuous Speech Recognition and Verification Based on a Combination Score
yan bin feng ; zhu xiao yan
yan bin feng ; zhu xiao yan
..............page:2014-2020
A Nonrepudiable Threshold Proxy Signcryption Scheme with Known Proxy Agent
li ji guo ; li jian zhong ; cao zhen fu ; zhang yi chen
li ji guo ; li jian zhong ; cao zhen fu ; zhang yi chen
..............page:2021-2027
..............page:2028-2036
An Enhanced NAT-PT Model
zeng li an ; cheng chao hui ; ling li
zeng li an ; cheng chao hui ; ling li
..............page:2037-2044
A Dynamic Location Updating Management Scheme in Low Earth Orbit Networks
wang liang ; zhang nai tong
wang liang ; zhang nai tong
..............page:2045-2051
A Study of the Key Distribution in Secure Multicast
zhu wen tao ; xiong ji ping ; li jin sheng ; hong pei lin
zhu wen tao ; xiong ji ping ; li jin sheng ; hong pei lin
..............page:2052-2059
A Scheme and Behavior Analysis of Duplicated Ports Switches with Line Rate Buffers
wu jun ; chen qing ; luo jun zhou
wu jun ; chen qing ; luo jun zhou
..............page:2060-2067
A Distributed Algorithm for Content-Aware Web Server Clusters
du zeng kai ; zheng ming yang ; ju jiu bin
du zeng kai ; zheng ming yang ; ju jiu bin
..............page:2068-2073
Centerline Extraction Based on Hessian Matrix
li guang ming ; tian jie ; zhao ming chang ; he zuo guang
li guang ming ; tian jie ; zhao ming chang ; he zuo guang
..............page:2074-2081
Curve Interpolation Based on Non-Uniform Catmull-Clark Subdivision Scheme
zhang jing zuo ; wang guo zuo ; zheng jian min
zhang jing zuo ; wang guo zuo ; zheng jian min
..............page:2082-2091
A Decision Method for Under-,Over-and Well-Constrainess of Parametric Model
jiang zuo ; gao xiao shan ; yue jing yan
jiang zuo ; gao xiao shan ; yue jing yan
..............page:2092-2097
..............page:2098-2105
Approximating the Derivative Bounds of Parametric Curves and Applying to Curve Rasterization
jie ben huai ; wang guo zuo
jie ben huai ; wang guo zuo
..............page:2106－2112
..............page:Ⅰ-ⅩⅥ