1000-1239
2006 Issue 5
..............page:776,900
Formal Analysis of Security Protocol Based on Process Calculus and Knowledge Derivation
Gu Yonggen;Fu Yuxi
Gu Yonggen;Fu Yuxi
..............page:953-958
A Fast Algorithm for Leakage Power Reduction by Input Vector Control
Chang Xiaotao;Fan Dongrui;Han Yinhe;Zhang Zhimin
Chang Xiaotao;Fan Dongrui;Han Yinhe;Zhang Zhimin
..............page:946-952
Lossless Configuration Bitstream Compression for Virtex FPGAs
Gu Haiyun;Li Li;Xu Juyan;Gao Minglun
Gu Haiyun;Li Li;Xu Juyan;Gao Minglun
..............page:940-945
Word Sense Disambiguation Based on Multi-Classifier Decision
Quan Changqin;He Tingting;Ji Donghong;Yu Shaowen
Quan Changqin;He Tingting;Ji Donghong;Yu Shaowen
..............page:933-939
New Word Detection Based on Large-Scale Corpus
Cui Shiqi;Liu Qun;Meng Yao;Yu Hao;Nishino Fumihito
Cui Shiqi;Liu Qun;Meng Yao;Yu Hao;Nishino Fumihito
..............page:927-932
Constraint-Based Termination Analysis of Active Rules
Xu Guihong;Zhang Jian
Xu Guihong;Zhang Jian
..............page:894-900
Hybrid Indexing of Moving Objects with Frequent Updates
Liao Wei;Xiong Wei;Jing Ning;Chen Hongsheng;Zhong Zhinong
Liao Wei;Xiong Wei;Jing Ning;Chen Hongsheng;Zhong Zhinong
..............page:888-893
A Software Reliability Growth Model Considering Testing Environment and Actual Operation Environment
Zhao Jing;Liu Hongwei;Cui Gang;Yang Xiaozong
Zhao Jing;Liu Hongwei;Cui Gang;Yang Xiaozong
..............page:881-887
..............page:874-880
The Studying of Frame APRF of Pattern-Recognition Based on Agent
Tang Yunting;Cheng Xianyi
Tang Yunting;Cheng Xianyi
..............page:867-873
Research on Solving the Problem of CMAC Neural Network Collision
Su Xiaohong;Zhang Mingjie;Ma Peijun;Wang Yadong
Su Xiaohong;Zhang Mingjie;Ma Peijun;Wang Yadong
..............page:862-866
An Efficient Discovering and Maintenance Algorithm of Subspace Clustering over High Dimensional Data Streams
Zhou Xiaoyun;Sun Zhihui;Zhang Baili;Yang Yidong
Zhou Xiaoyun;Sun Zhihui;Zhang Baili;Yang Yidong
..............page:834-840
Indexing Moving Objects Trajectories on Fixed Networks
Li Guohui;Zhong Xiya
Li Guohui;Zhong Xiya
..............page:828-833
The Semantic Based Information Service of an Image Processing Grid Platform
He Ruhan;Jin Hai;Liao Zhensong;Zhang Qin
He Ruhan;Jin Hai;Liao Zhensong;Zhang Qin
..............page:821-827
A Schedulability Analysis Algorithm for EDF-Based End-to-End Real-Time Systems
Shen Zhuowei;Wang Yun
Shen Zhuowei;Wang Yun
..............page:813-820
A Real Time Network Traffic Prediction Algorithm Based on Hybrid Model
Li Jie;Liu Ruixin;Liu Xianxing;Han Zhijie
Li Jie;Liu Ruixin;Liu Xianxing;Han Zhijie
..............page:806-812
A Static Scheduling Algorithm Based on Global Task-Transferring
Liang Hongtao;Yuan Youguang;Fang Ming
Liang Hongtao;Yuan Youguang;Fang Ming
..............page:797-805
A New Method of Edge Detection Based on Statistical Vector and Neural Network
Zhang Jing;Zhang Quan;Wang Xin
Zhang Jing;Zhang Quan;Wang Xin
..............page:920-926
Uniform Interval Implicitization of Rational Surfaces
Li Yajuan;Wang Guozhao
Li Yajuan;Wang Guozhao
..............page:914-919
A Time Serial Model for Divisional Dynamic Terrain
Chen Guojun;Zhao Qinping
Chen Guojun;Zhao Qinping
..............page:908-913
An Approach to Termination Decision for a Rule Set Based on Activation Path and Conditional Formula
Xiong Zhongmin;Hao Zhongxiao
Xiong Zhongmin;Hao Zhongxiao
..............page:901-907
Study of the Counterpropagation Network Based on the EM Algorithm and Its Application
Hao Yu;Ye Shiwei
Hao Yu;Ye Shiwei
..............page:856-861
K-Cluster Subgoal Discovery Algorithm for Option
Wang Bennian;Gao Yang;Chen Zhaoqian;Xie Junyuan;Chen Shifu
Wang Bennian;Gao Yang;Chen Zhaoqian;Xie Junyuan;Chen Shifu
..............page:851-855
An Evolutionary Programming to Solve Constrained Optimization Problems
Dong Hongbin;Huang Houkuan;He Jun;Hou Wei
Dong Hongbin;Huang Houkuan;He Jun;Hou Wei
..............page:841-850
Research on Mobile Agent Path Optimization Algorithm in Grid
Zhang Zhirou;Luo Siwei;Chen Xin;Zhong Jingjing
Zhang Zhirou;Luo Siwei;Chen Xin;Zhong Jingjing
..............page:791-796
Research on Topology Discovery in the Overlay Multicast
Cao Jia;Lu Shiwen
Cao Jia;Lu Shiwen
..............page:784-790
Model-Based Methods for Software Cost Estimation
He Xiaoyang;Wang Yasha
He Xiaoyang;Wang Yasha
..............page:777-783
A Survey of Statistical Language Modeling for Text Retrieval
Ding Guodong;Bai Shuo;Wang Bin
Ding Guodong;Bai Shuo;Wang Bin
..............page:769-776