0254-4164
2008 Issue 6
Degree Elevation of Algebraic Hyperbolic B-spline Curves and Corner Cutting Based on Bi-order Spline
ZHANG Bo;WANG Guo-Zhao
ZHANG Bo;WANG Guo-Zhao
..............page:1056-1062
..............page:1046-1055
The Automatic Verification and Improvement of SET Certificate Registration Protocols with SPV
XIAO Yin-Yin;SU Kai-Le;YUE Wei-Ya;CHEN Qing-Liang;LU Guan-Feng;YANG Jin-Ji
XIAO Yin-Yin;SU Kai-Le;YUE Wei-Ya;CHEN Qing-Liang;LU Guan-Feng;YANG Jin-Ji
..............page:1035-1045
A New Approach to Automated Test Data Generation in Mutation Testing
SHAN Jin-Hui;GAO You-Feng;LIU Ming-Hao;LIU Jiang-Hong;ZHANG Lu;SUN Jia-Su
SHAN Jin-Hui;GAO You-Feng;LIU Ming-Hao;LIU Jiang-Hong;ZHANG Lu;SUN Jia-Su
..............page:1025-1034
Versatile Multidimensional Histograms for Different Data Distributions
CAO Wei;WANG Shan;QIN Xiong-Pai;WANG Qiu-Yue
CAO Wei;WANG Shan;QIN Xiong-Pai;WANG Qiu-Yue
..............page:1013-1024
Grid Index Based Algorithm for Continuous Skyline Computation
TIAN Li;ZOU Peng;LI Ai-Ping;JIA Yan
TIAN Li;ZOU Peng;LI Ai-Ping;JIA Yan
..............page:998-1012
Loop Unrolling and Data-Path Generation of Sliding-Window Operation
DONG Ya-Zhuo;LIU Ming-Zheng;XIA Fei;DOU Yong
DONG Ya-Zhuo;LIU Ming-Zheng;XIA Fei;DOU Yong
..............page:989-997
Truly Bitstate-Hashing for SCC-Based Emptiness Checking Algorithms
YAN Rong-Jie;ZHANG Wen-Liang;TANG Zhi-Song
YAN Rong-Jie;ZHANG Wen-Liang;TANG Zhi-Song
..............page:979-988
Link-Stable Clustering and Power Control for Wireless Sensor Networks
LI Fang-Min;LIU Xin-Hua;XU Wen-Jun;HAN Ping
LI Fang-Min;LIU Xin-Hua;XU Wen-Jun;HAN Ping
..............page:968-978
Empirical Study of Region User Behaviors for Web Pages
MA Wei-Dong;LI You-Ping;MA Jian-Guo;ZHOU Ming-Tian
MA Wei-Dong;LI You-Ping;MA Jian-Guo;ZHOU Ming-Tian
..............page:960-967
Improving the Performance of Payment Mechanism Based P2P Application with Altruistic Nodes
PENG Dong-Sheng;LIN Chuang;LIU Wei-Dong
PENG Dong-Sheng;LIN Chuang;LIU Wei-Dong
..............page:953-959
A Study on Integrated Evaluating Kernel Classification Performance Using Statistical Methods
WANG Yong;HU Bao-Gang
WANG Yong;HU Bao-Gang
..............page:942-952
Classification Rule Extraction Based on Fuzzy Area Distribution and Classification Reasoning Algorithm
LI Jie;DENG Yi-Ming;SHEN Shi-Tuan
LI Jie;DENG Yi-Ming;SHEN Shi-Tuan
..............page:934-941
Prediction of Polyadenylation in Human Gene Sequences
LIAO Kun;DUAN Jiang-Bo;ZHOU Yan-Hong
LIAO Kun;DUAN Jiang-Bo;ZHOU Yan-Hong
..............page:927-933
An Approach of Solving Constraint Satisfaction Problem Based on Preprocessing
SUN Ji-Gui;ZHU Xing-Jun;ZHANG Yong-Gang;LI Ying
SUN Ji-Gui;ZHU Xing-Jun;ZHANG Yong-Gang;LI Ying
..............page:919-926
An Interpolation Based Genetic Algorithm for Solving Nonlinear Bilevel Programming Problems
LI He-Cheng;WANG Yu-Ping
LI He-Cheng;WANG Yu-Ping
..............page:910-918
A Tableau Decision Algorithm for Dynamic Description Logic
CHANG Liang;SHI Zhong-Zhi;QIU Li-Rong;LIN Fen
CHANG Liang;SHI Zhong-Zhi;QIU Li-Rong;LIN Fen
..............page:896-909
Emergence:Oriented Research on Multi-Agent Systems and Its State of Arts
JIN Shi-Yao;HUANG Hong-Bing;FAN Gao-Jun
JIN Shi-Yao;HUANG Hong-Bing;FAN Gao-Jun
..............page:881-895