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

Search Results

Help

Item hits: (Results 1-10 of 31)

Filters    
Items/Page:    Sort:
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
  |  
 
简捷的主纹理提取方法 [期刊论文]
计算机辅助设计与图形学学报, 2011-01-01, 卷号: 23, 期号: 1, 页码: 46-53
华淼; 陈昕; 王文成
  |  
 
optimal error estimates in jacobi-weighted sobolev spaces for polynomial approximations on the triangle [期刊论文]
MATHEMATICS OF COMPUTATION, 2010-01-01, 卷号: 79, 期号: 271, 页码: 1621-1646
Li Huiyuan; Shen Jie
  |  
 
对时间自动机进行空性检测的过程和改进 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 122-125
魏绪凯
  |  
 
volume fraction based miscible and immiscible fluid animation [会议论文]
23rd International Conference on Computer Animation and Social Agents (CASA 2010), St Malo, FRANCE, MAY 30-JUN
Bao Kai; Wu Xiaolong; Zhang Hui; Wu Enhua

 
a memory model for static analysis of c programs [会议论文]
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, 40834
Xu Zhongxing; Kremenek Ted; Zhang Jian
  |  
 
bounded model checking of actl formulae [会议论文]
3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31,
Chen Wei; Zhang Wenhui

 
近似骨架导向的归约聚类算法 [期刊论文]
电子与信息学报, 2009-01-01, 卷号: 31, 期号: 12, 页码: 2953-2957
宗瑜; 李明楚; 江贺

 
chebyshev-legendre spectral method for solving the two-dimensional vorticity equations with homogeneous dirichlet conditions [期刊论文]
NUMERICAL METHODS FOR PARTIAL DIFFERENTIAL EQUATIONS, 2009-01-01, 卷号: 25, 期号: 3, 页码: 740-755
Wu Hua; Ma Heping; Li Huiyuan

 
a triangular spectral element method using fully tensorial rational basis functions [期刊论文]
SIAM JOURNAL ON NUMERICAL ANALYSIS, 2009-01-01, 卷号: 47, 期号: 3, 页码: 1619-1650
Shen Jie; Wang Li-Lian; Li Huiyuan
  |  
 

1 2 3 4 next

 

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