1007-1202
2011 Issue 6
formal description of the crossing social network system architecture based on temporal logic
XIAO Ruliang;NI Youcong;DU Xin;GONG Ping
XIAO Ruliang;NI Youcong;DU Xin;GONG Ping
..............page:525-534
drifter trajectory tracking experiment and analysis with multi-frequency hfswr in the east china sea
LI Lun;WU Xiongbin;YAN Songhua;LONG Chao;LIU Bin;SHEN Zhiben
LI Lun;WU Xiongbin;YAN Songhua;LONG Chao;LIU Bin;SHEN Zhiben
..............page:541-547
parallel bulk-loading of spatial data with mapreduce: an r-tree case
LIU Yi;JING Ning;CHEN Luo;CHEN Huizhong
LIU Yi;JING Ning;CHEN Luo;CHEN Huizhong
..............page:513-519
power coal transportation and storage: a programming analysis of road and rail options
FANG Debin;ZHANG Ming;WANG Xianjia
FANG Debin;ZHANG Ming;WANG Xianjia
..............page:469-474
novel method of mining classification information for svm training
SHEN Fengshan;ZHANG Junying;YUAN Xiguo
SHEN Fengshan;ZHANG Junying;YUAN Xiguo
..............page:475-480
a generalized block-by-block method for the system of linear volterra integral equations of the second kind
WANG Wenshuai;WANG Xu
WANG Wenshuai;WANG Xu
..............page:465-468
efficient batch verification of online/offline short signature for a multi-signer setting
CHEN Zhide;ZHANG Yilian;XU Li;GUO Fuchun
CHEN Zhide;ZHANG Yilian;XU Li;GUO Fuchun
..............page:481-486
a representation of sl(2;c) on clifford algebra of even dimension
HE Fuli;DU Jinyuan;WANG Ying
HE Fuli;DU Jinyuan;WANG Ying
..............page:461-464
a method for determination of hexokinase activity by rp-hplc
GUAN Yuxia;WANG Jing;SUN Jiaxian
GUAN Yuxia;WANG Jing;SUN Jiaxian
..............page:535-540
a multi-label classification algorithm based on label-specific features
QU Huaqiao;ZHANG Shichaoi;LIU Huawen;ZHAO Jianmin
QU Huaqiao;ZHANG Shichaoi;LIU Huawen;ZHAO Jianmin
..............page:520-524
activity sequence modes for web services and verifications
CHEN Bo;YUAN Qingneng;LIU Zhiqi
CHEN Bo;YUAN Qingneng;LIU Zhiqi
..............page:500-506
a visualization method of requirement checking based on software behavior
HUANG Bo;WU Guoqing;WAN Li;LI Lin;WANG Jun
HUANG Bo;WU Guoqing;WAN Li;LI Lin;WANG Jun
..............page:507-512
soundness analysis of compositional model of time-based petri nets
ZHENG Hong;JIANG Yue
ZHENG Hong;JIANG Yue
..............page:493-499
a blind watermarking algorithm resisting to geometric transforms based on svd
LI Xiuguang;YANG Xiaoyuan
LI Xiuguang;YANG Xiaoyuan
..............page:487-492