Volume 14,Issue 3,2003 Table of Contents
Study on the Algebraic Semantics of VerilogLi Yong-Jian,HE Ji-Feng and SUN Yong-Qing2003,14(3):317-327 [Abstract(2819)] [View PDF(3001)863.16 K]A Role Inverse AlgorithmBAI Shuo and ZHANG Hao2003,14(3):328-333 [Abstract(2468)] [View PDF(2947)690.78 K]A Quantum Search AlgorithmSUN Ji-Gui and HE Yu-Guo2003,14(3):334-344 [Abstract(2907)] [View PDF(3953)888.19 K]λ-Resolution of the Medium Predicate Logic SystemPAN Zheng-Hua2003,14(3):345-349 [Abstract(2672)] [View PDF(3011)517.83 K]Constructing Virtual Domain Ontologies Based on Domain Knowledge ReuseCHEN Gang,LU Ru-Qian and JIN Zhi2003,14(3):350-355 [Abstract(3577)] [View PDF(4055)560.94 K]An Overview Towards the Semantics of XYZ/E Object-Oriented ProgramsGUO Liang and TANG Zhi-Song2003,14(3):356-361 [Abstract(2856)] [View PDF(3326)565.87 K]A Computation Partition Based on Uniform Partitioning Schemes for Parallel LoopsHUANG Qi-Jun,YANG Jian-Wu,YU Hua-Shan and XU Zhuo-Qun2003,14(3):362-368 [Abstract(2747)] [View PDF(3108)649.68 K]A Scheduling Protocol for Transactional Workflows Based on Mix-Grained Conflict DetectionDING Ke,WEI Jun and FENG Yu-Lin2003,14(3):369-375 [Abstract(2633)] [View PDF(2833)813.00 K]An Integrated Design Method of Task PriorityJIN Hong,WANG Hong-An,WANG Qiang and DAI Guo-Zhong2003,14(3):376-382 [Abstract(3312)] [View PDF(3206)643.32 K]An Agent-Oriented Programming Language with Intention DriverGUO Lei,GE Ye-Ting,CHEN Shi-Fu and ZHANG Dong-Mo2003,14(3):383-391 [Abstract(3127)] [View PDF(2978)715.71 K]Research on Development Tools for Pen-Based User InterfacesLI Yang,GUAN Zhi-Wei and DAI Guo-Zhong2003,14(3):392-400 [Abstract(2827)] [View PDF(3065)664.60 K]A Matching Model for Software Component Classified in Faceted SchemeWANG Yuan-Feng,XUE Yun-Jiao,ZHANG Yong,ZHU San-Yuan and QIAN Le-Qiu2003,14(3):401-408 [Abstract(2686)] [View PDF(2900)785.15 K]An Event-Triggered Concurrent Dataflow ModelWANG Rui-Rong and WANG Le-Yu2003,14(3):409-414 [Abstract(2738)] [View PDF(3176)575.88 K]A Technology of Binding Time Analysis for Object-Oriented Programming LanguagesLIAO Hu-Sheng,TONG Zhao-Feng and WANG Zhong2003,14(3):415-421 [Abstract(2628)] [View PDF(2869)633.36 K]A Concurrent BDI-Agent ModelWANG Yi-Chuan and SHI Chun-Yi2003,14(3):422-428 [Abstract(2645)] [View PDF(2837)682.80 K]A Fuzzy Classifier Based on the Constructive Covering Approach in Neural NetworksYE Shao-Zhen,ZHANG Bo,WU Ming-Rui and ZHENG Wen-Bo2003,14(3):429-434 [Abstract(2799)] [View PDF(2922)570.61 K]A Text Filtering System Based on Vector Space ModelHUANG Xuan-Jing,XIA Ying-Ju and WU Li-De2003,14(3):435-442 [Abstract(2880)] [View PDF(4291)709.21 K]Experimental Study on the Parallel Evolutionary Modeling of System of Ordinary Differential EquationsCAO Hong-Qing,KANG Li-Shan,CHEN Yu-Ping and HU Qing-Feng2003,14(3):443-450 [Abstract(2460)] [View PDF(3051)715.60 K]A Progressive Transductive Inference Algorithm Based on Support Vector MachineCHEN Yi-Song,WANG Guo-Ping and DONG Shi-Hai2003,14(3):451-460 [Abstract(3536)] [View PDF(3687)825.70 K]A Dynamic Viseme Model and Parameter EstimationWANG Zhi-Ming and CAI Lian-Hong2003,14(3):461-466 [Abstract(2439)] [View PDF(2920)585.29 K]A Sinusoidal Modeling Method Based on Matching-Pursuits with Perceptual GradientZHANG Wen-Yao,XU Gang and WANG Yu-Guo2003,14(3):467-472 [Abstract(2364)] [View PDF(2880)585.52 K]Agent Organization Commitment and Group CommitmentZHANG Wei and SHI Chun-Yi2003,14(3):473-478 [Abstract(2650)] [View PDF(3031)622.96 K]Decision Varied from Entropy to Parametric DistributionHE Jin-Song,ZHENG Hao-Ran and WANG Xu-Fa2003,14(3):479-483 [Abstract(2871)] [View PDF(3210)557.83 K]An Algorithm Based on Gabor Function for Fingerprint Enhancement and Its ApplicationYIN Yi-Long,ZHAN Xiao-Si,TAN Tai-Zhe and NING Xin-Bao2003,14(3):484-489 [Abstract(2643)] [View PDF(2582)1012.51 K]Handwritten Character Recognition Based on Parallel Feature Combination and Generalized K-L ExpansionYANG Jian,YANG Jing-Yu and GAO Jian-Zhen2003,14(3):490-495 [Abstract(2344)] [View PDF(3239)604.17 K]Multicast Protocol over Switch EthernetWANG Jun and WU Zhi-Mei2003,14(3):496-502 [Abstract(3022)] [View PDF(3361)634.38 K]Congestion Control Algorithm in Large-Delay NetworksREN Feng-Yuan,LIN Chuang,REN Yong and SHAN Xiu-Ming2003,14(3):503-511 [Abstract(3088)] [View PDF(4176)837.10 K]Security Evaluation for a Class of Block Ciphers Based on Chaotic MapsZHANG Wen-Tao,QING Si-Han and WU Wen-Ling2003,14(3):512-517 [Abstract(2694)] [View PDF(2806)535.40 K]Security Analysis and Improvement of TLSSUN Lin-Hong,YE Ding-Feng,Lü Shu-Wang and FENG Deng-Guo2003,14(3):518-523 [Abstract(2494)] [View PDF(2957)576.80 K]Research and Implementation of Internet Routing Emulation SystemCUI Yong,XU Ke and WU Jian-Ping2003,14(3):524-530 [Abstract(2481)] [View PDF(3372)628.63 K]A Multi-Level FIFS Queue Packet Scheduling Algorithm to Provide Delay GuaranteeYANG Ming-Chuan and QIAN Hua-Lin2003,14(3):531-537 [Abstract(2802)] [View PDF(2852)676.97 K]A Customizable Boot Protocol for Network ComputingZHOU Yue-Zhi,ZHANG Yao-Xue and WANG Yong2003,14(3):538-546 [Abstract(2591)] [View PDF(2833)801.15 K]Design and Implementation of a Security Label Common FrameworkLIANG Hong-Liang,SUN Yu-Fang,ZHAO Qing-Song,ZHANG Xiang-Feng and SUN Bo2003,14(3):547-552 [Abstract(2842)] [View PDF(2843)615.69 K]On-Demand Branching MulticastJIN Zhi-Quan,XIANG Xiao-Jing and CHEN Pei-Pei2003,14(3):553-561 [Abstract(3027)] [View PDF(2800)719.88 K]Variable Structure Controller for ABR Flow ControlREN Feng-Yuan,LIN Chuang and WANG Fu-Bao2003,14(3):562-568 [Abstract(2774)] [View PDF(2889)649.20 K]Differential and Linear Cryptanalysis of AC Block CipherWU Wen-Ling,MA Heng-Tai and QING Si-Han2003,14(3):569-574 [Abstract(3241)] [View PDF(2905)672.60 K]A Wavelength Assignment Algorithm of Hypercube Communication on Optical RP(k) NetworksLIU Fang-Ai,LIU Zhi-Yong and QIAO Xiang-Zhen2003,14(3):575-581 [Abstract(2757)] [View PDF(3000)684.87 K]A Probability-Based QoS Unicast Routing AlgorithmCHEN Ping,DONG Tian-Lin,SHI Jian and ZHAO Miao2003,14(3):582-587 [Abstract(2291)] [View PDF(2835)602.04 K]A Confirmer Signature Scheme Based on DSA and RSAWANG Shang-Ping,WANG Yu-Min and ZHANG Ya-Ling2003,14(3):588-593 [Abstract(3113)] [View PDF(3696)536.09 K]A Real-Time Anomaly Detection Model Based on Sampling Measurement in a High-Speed NetworkCHENG Guang,GONG Jian and DING Wei2003,14(3):594-599 [Abstract(3278)] [View PDF(3111)547.75 K]An Internet Key Exchange Protocol and Its Security AnalysisFAN Hong2003,14(3):600-605 [Abstract(3145)] [View PDF(3245)544.68 K]Design and Implementation of Test Executor for Concurrent TTCNZHANG Wei-Xing and JIANG Fan2003,14(3):606-611 [Abstract(2712)] [View PDF(3131)554.75 K]Performance Analysis of the Binary Flow Control AlgorithmREN Feng-Yuan,LIN Chuang,REN Yong and SHAN Xiu-Ming2003,14(3):612-618 [Abstract(3032)] [View PDF(3370)651.34 K]Simulation of 3D Garment Based on Improved Spring-Mass ModelLIU Hui,CHEN Chun and SHI Bai-Le2003,14(3):619-627 [Abstract(2971)] [View PDF(4210)1.08 M]Automatic Simulation Vector Generation Using Interacting FSM ModelLI Tun,GUO Yang and LI Si-Kun2003,14(3):628-634 [Abstract(2473)] [View PDF(3122)781.93 K]Multiple Characters Motion Fusion with Virtual SceneLUO Zhong-Xiang,ZHUANG Yue-Ting,PAN Yun-He and LI Yue-Mei2003,14(3):635-642 [Abstract(2658)] [View PDF(3246)874.96 K]Realistic 3D Human Facial AnimationZHANG Qing-Shan and CHEN Guo-Liang2003,14(3):643-650 [Abstract(2883)] [View PDF(3443)1.17 M]A Controllable Fractal Generation Method Based on FBM Constraint ModelTAN Jian-Rong and CHEN Hong-Liang2003,14(3):651-659 [Abstract(2545)] [View PDF(2830)1.37 M]A Complex Surface Adaptive Segment and Development Algorithm Based on Its Quasi-RulingsCHEN Dong-Ren and WANG Guo-Jin2003,14(3):660-665 [Abstract(2611)] [View PDF(2706)651.27 K]General Mandelbrot Sets from the Complex Mapping (z)-a+c(a≥2) and Its Symmetrical Period-Checking AlgorithmTAN Jian-Rong and CHENG Jin2003,14(3):666-674 [Abstract(3005)] [View PDF(2830)787.46 K]A Hierarchical Retrieval Method for MPEG VideoLIU Yang,XU Song-Tao and WU Zhi-Mei2003,14(3):675-681 [Abstract(2647)] [View PDF(2714)1009.22 K]A Linear Method for the PnP ProblemWU Fu-Chao and HU Zhan-Yi2003,14(3):682-688 [Abstract(2889)] [View PDF(4124)602.72 K]A Close-to-Optimal Image Restoration Technique Based on Regularization MethodZENG San-You,KANG Li-Shan,DING Li-Xin and HUANG Yuan-Jiang2003,14(3):689-696 [Abstract(2976)] [View PDF(3645)949.53 K]An Extended Multi-Valued Exponential Bi-Directional Associative Memory Model and Its ApplicationZHANG Dao-Qiang and CHEN Song-Can2003,14(3):697-702 [Abstract(2888)] [View PDF(3039)1.18 M]A Linear Approach for Determining Intrinsic Parameters and Pose of Cameras from RectanglesWU Fu-Chao,WANG Guang-Hui and HU Zhan-Yi2003,14(3):703-712 [Abstract(2908)] [View PDF(2971)684.06 K]