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

Search Results

Help

Item hits: (Results 51-60 of 193)

Items/Page:    Sort:
cluster ensembles via weighted graph regularized nonnegative matrix factorization [会议论文]
7th International Conference on Advanced Data Mining and Applications, ADMA 2011, Beijing, China, December 1
Du Liang; Li Xuan; Shen Yi-Dong

 
model checking security policy model using both uml static and dynamic diagrams [会议论文]
4th International Conference on Security of Information and Networks, SIN 2011, Sydney, NSW, Australia, November 1
Cheng Liang; Zhang Yang

 
scale adaptation of mean shift based on graph cuts theory [会议论文]
12th International Conference on Computer-Aided Design and Computer Graphics, CAD/Graphics 2011, Jinan, China, September
Zhao Ling; An Guocheng; Zhang Fengjun; Wang Hongan; Dai Guozhong

 
histogram-based image hashing for searching content-preserving copies [期刊论文]
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011-01-01, 卷号: 6730 LNCS, 页码: 83-108
Xiang Shijun; Kim Hyoung Joong

 
coverability of wireless sensor networks [期刊论文]
Tsinghua Science and Technology, 2011-01-01, 卷号: 16, 期号: 6, 页码: 622-631
Wang Yin; Huang Zhiyu

 
qip = pspace [期刊论文]
JOURNAL OF THE ACM, 2011-01-01, 卷号: 58, 期号: 6, 页码: -
Jain Rahul; Ji Zhengfeng; Upadhyay Sarvagya; Watrous John

 
a new method for aermod with missing sounding data [期刊论文]
Environmental Progress and Sustainable Energy, 2011-01-01, 卷号: 30, 期号: 4, 页码: 762-767
Jiang Lei; Li Shibei; Wu Wenjun; Ding Feng; Wang Xinhua; Xu Yisheng; Lan Ru

 
parallel multilevel methods for implicit solution of shallow water equations with nonsmooth topography on the cubed-sphere [期刊论文]
Journal of Computational Physics, 2011-01-01, 卷号: 230, 期号: 7, 页码: 2523 - 2539
Chao Yang; Xiao-Chuan Cai

 
a graph-based implementation for mechanized refinement calculus of oo programs [会议论文]
13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, 8-Nov
Liu Zhiming; Morisset Charles; Wang Shuling
  |  
 
characterizations of locally testable linear- and affine-invariant families [会议论文]
17th Annual International Computing and Combinatorics Conference, COCOON 2011, Dallas, TX, United states, August 14,
Li Angsheng; Pan Yicheng
  |  
 

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

 

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