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

Search Results

Help

Item hits: (Results 61-70 of 1992)

Filters    
Items/Page:    Sort:
A Generic Implementation Framework for Measuring Ontology-Based Information [期刊论文]
International Journal of Computational Intelligence Systems, 2014-01-01, 卷号: 7, 期号: 1, 页码: 136-146
Ma, Yinglong (1); Zhang, Xiaolan (1); Jin, Beihong (2); Lu, Ke (3)

 
Constant-round zero-knowledge proofs of knowledge with strict polynomial-time extractors for NP [期刊论文]
Science China Information Sciences, 2014-01-01, 卷号: 57, 期号: 1, 页码: 1-14
Li, HongDa (1); Feng, DengGuo (2)

 
PRE: Stronger security notions and efficient construction with non-interactive opening [期刊论文]
Theoretical Computer Science, 2014-01-01, 卷号: 542, 页码: 1-16
Zhang, Jiang (1); Zhang, Zhenfeng (1); Chen, Yu (3)

 
An Investigation Into the Relationship Between Texture and Human Performance in Steering and Gesture Input Tasks [期刊论文]
International Journal of Human-Computer Interaction, 2014-01-01, 卷号: 30, 期号: 8, 页码: 654-662
Sun, Minghui (1); Ren, Xiangshi (1); Tu, Huawei (1); Tian, Feng (4)

 
FLP answer set semantics without circular justifications for general logic programs [期刊论文]
Artificial Intelligence, 2014-01-01, 卷号: 213, 页码: 1-41
Shen, Yi-Dong (1); Wang, Kewen (2); Eiter, Thomas (3); Fink, Michael (3); Redl, Christoph (3); Krennwallner, Thomas (3); Deng, Jun (1)

 
Adaptive algorithm for automated polygonal approximation of high spatial resolution remote sensing imagery segmentation contours [期刊论文]
IEEE Transactions on Geoscience and Remote Sensing, 2014-01-01, 卷号: 52, 期号: 2, 页码: 1099-1106
Liu, Jianhua (1); Zhang, Jinfang (3); Xu, Fangjiang (3); Huang, Zhijian (3); Li, Yaping (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)

 
A class loading sensitive approach to detection of runtime type errors in component-based Java programs [期刊论文]
Information and Software Technology, 2014-01-01, 卷号: 56, 期号: 9, 页码: 1076-1085
Zhang, Wenbo (1); Zhou, Xiaowei (1); Zhang, Jianhua (1); Zhang, Zhenyu (1); Zhong, Hua (1)

 
Generating combinatorial test suite using combinatorial optimization [期刊论文]
Journal of Systems and Software, 2014-01-01, 卷号: 98, 页码: 191-207
Zhang, Zhiqiang (1); Yan, Jun (3); Zhao, Yong (5); Zhang, Jian (1)

 
A three-phase approach to document clustering based on topic significance degree [期刊论文]
Expert Systems with Applications, 2014-01-01, 卷号: 41, 期号: 18, 页码: 8203-8210
Ma, Yinglong (1); Wang, Yao (1); Jin, Beihong (2)

 

previous 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 next

 

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