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

Search Results

Help

Item hits: (Results 1-10 of 19)

Filters        
Items/Page:    Sort:
A temporal programming model with atomic blocks based on projection temporal logic [期刊论文]
Frontiers of Computer Science, 2014-01-01
Yang, Xiaoxiao (1); Zhang, Y. (1); Fu, Ming (2); Feng, Xinyu (2)

 
Mixed order discretization based two-level Schwarz preconditioners for a tracer transport problem on the cubed-sphere [期刊论文]
Computers and Fluids, 2014-01-01
Yang, Haijian (1); Yang, Chao (2); Cai, Xiao-Chuan (4)

 
LS-SVM-based image segmentation using pixel color-texture descriptors [期刊论文]
PATTERN ANALYSIS AND APPLICATIONS, 2014-01-01, 卷号: 17, 期号: 2, 页码: 341-359
Yang, Hong-Ying; Zhang, Xian-Jin; Wang, Xiang-Yang

 
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)

 
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)

 
Rabin's theorem in the concurrency setting: A conjecture [期刊论文]
Theoretical Computer Science, 2014-01-01, 卷号: 546, 页码: 225-236
Thiagarajan, P.S. (1); Yang, Shaofa (2)

 
Locomotion Skills for Insects with Sample-based Controller [期刊论文]
COMPUTER GRAPHICS FORUM, 2014-01-01, 卷号: 33, 期号: 7, 页码: 31-40
Guo, Shihui; Chang, Jian; Yang, Xiaosong; Wang, Wencheng; Zhang, Jianjun

 
A vertex centric parallel algorithm for linear temporal logic model checking in Pregel [期刊论文]
Journal of Parallel and Distributed Computing, 2014-01-01, 卷号: 74, 期号: 11, 页码: 3161-3174
Xie, Miao (1); Yang, Qiusong (1); Zhai, Jian (1); Wang, Qing (1)

 
Parallel Domain Decomposition Methods with Mixed Order Discretization for Fully Implicit Solution of Tracer Transport Problems on the Cubed-Sphere [期刊论文]
Journal of Scientific Computing, 2014-01-01, 卷号: 61, 期号: 2, 页码: 1-23
Yang, Haijian (1); Yang, Chao (2); Cai, Xiao-Chuan (4)

 

1 2 next

 

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