Semantic theories of programs with nested interrupts Yanhong HuangJifeng HeShengchao Qin Research Article 03 February 2015 Pages: 331 - 345
A novel strategy for automatic test data generation using soft computing technique Priyanka ChawlaInderveer ChanaAjay Rana Research Article 16 January 2015 Pages: 346 - 363
Verifying specifications with associated attributes in graph transformation systems Yu ZhouYankai HuangZhiqiu Huang Research Article 09 May 2015 Pages: 364 - 374
Hybrid fusion and interpolation algorithm with near-infrared image Xiaoyan LuoJun ZhangQionghai Dai Research Article 12 January 2015 Pages: 375 - 382
Efficient image representation for object recognition via pivots selection Bojun XieYi LiuJian Yu Research Article 09 May 2015 Pages: 383 - 391
A hybrid biometric identification framework for high security applications Xuzhou LiYilong YinLei Pan Research Article 06 November 2014 Pages: 392 - 401
Pedestrian detection algorithm based on video sequences and laser point cloud Hui LiYun LiuLin Wang Research Article 30 November 2014 Pages: 402 - 414
Extracting viewer interests for automated bookmarking in video-on-demand services Yang ZhaoYe TianYong Liu Research Article 03 September 2014 Pages: 415 - 430
Memory bandwidth optimization of SpMV on GPGPUs Chenggang Clarence YanHui YuJian Yin Research Article 06 November 2014 Pages: 431 - 441
A balanced decomposition approach to real-time visualization of large vector maps in CyberGIS Mingqiang GuoYing HuangZhong Xie Research Article 03 November 2014 Pages: 442 - 455
Irradiance regression for efficient final gathering in global illumination Xuezhen HuangXin SunKun Zhou Research Article 11 February 2015 Pages: 456 - 465
A hierarchical ontology context model for work-based learning Chuantao YinBingxue ZhangZhang Xiong Research Article 19 April 2015 Pages: 466 - 473
A sequential model of bargaining in logic programming Wu ChenDongmo ZhangMaonian Wu Research Article 30 March 2015 Pages: 474 - 484
Research on self-adaptive decision-making mechanism for competition strategies in robot soccer Haobin ShiLincheng XuGenjiu Xu Research Article 09 May 2015 Pages: 485 - 494