中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 40)

Filters    
Items/Page:    Sort:
Combining symmetry reduction with generalized symbolic trajectory evaluation [期刊论文]
Computer Journal, 2014-01-01, 卷号: 57, 期号: 1, 页码: 115-128
Li, Yongjian (1); Zeng, Naiju (1); Hung, William N.N. (2); Song, Xiaoyu (3)

 
Investigating dependencies in software requirements for change propagation analysis [期刊论文]
Information and Software Technology, 2014-01-01, 卷号: 56, 期号: 1, 页码: 40-53
Zhang, He (1); Li, Juan (3); Zhu, Liming (2); Jeffery, Ross (2); Liu, Yan (4); Wang, Qing (3); Li, Mingshu (3)

 
A sketch-based approach for interactive organization of video clips [期刊论文]
ACM Transactions on Multimedia Computing, Communications and Applications, 2014-01-01, 卷号: 11, 期号: 1
Liu, Yong-Jin (1); Ma, Cui-Xia (2); Fu, Qiufang (3); Fu, Xiaolan (3); Qin, Sheng-Feng (4); Xie, Lexing (5)

 
A graph distance based metric for data oriented workflow retrieval with variable time constraints [期刊论文]
Expert Systems with Applications, 2014-01-01, 卷号: 41, 期号: 4 PART 1, 页码: 1377-1388
Ma, Yinglong (1); Zhang, Xiaolan (1); Lu, Ke (3)

 
An efficient location reporting and indexing framework for urban road moving objects [期刊论文]
Distributed and Parallel Databases, 2014-01-01, 卷号: 32, 期号: 2, 页码: 271-311
Han, Jingyu (1); Chen, Kejia (1); Ding, Zhiming (2); Cao, Huiping (3)

 
Compensation by design [期刊论文]
Formal Aspects of Computing, 2014-01-01, 卷号: 26, 期号: 4, 页码: 623-676
Liu, Xi (1); Yang, Shaofa (2); Sanders, J.W. (3)

 
Cheat sensitive quantum bit commitment via pre- and post-selected quantum states [期刊论文]
Quantum Information Processing, 2014-01-01, 卷号: 13, 期号: 1, 页码: 141-149
Li, Yan-Bing (1); Wen, Qiao-Yan (1); Li, Zi-Chen (3); Qin, Su-Juan (1); Yang, Ya-Tao (3)

 
Mobile robots' modular navigation controller using spiking neural networks [期刊论文]
Neurocomputing, 2014-01-01, 卷号: 134, 页码: 230-238
Wang, Xiuqing (1); Hou, Zeng-Guang (2); Lv, Feng (1); Tan, Min (2); Wang, Yongji (3)

 
Global core, and galaxy structure of networks [期刊论文]
Science China Information Sciences, 2014-01-01, 卷号: 57, 期号: 7, 页码: 1-20
Zhang, Wei (1); Pan, YiCheng (1); Peng, Pan (1); Li, JianKou (1); Li, XueChen (3); Li, AngSheng (1)

 
IoT-SVKSearch: A real-time multimodal search engine mechanism for the internet of things [期刊论文]
International Journal of Communication Systems, 2014-01-01, 卷号: 27, 期号: 6, 页码: 871-897
Ding, Zhiming (1); Chen, Zhikui (2); Yang, Qi (3)

 

1 2 3 4 next

 

Valid XHTML 1.0!
Copyright © 2007-2021  中国科学院软件研究所 - Feedback
Powered by CSpace