中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 计算机科学国家重点实验室  > 期刊论文

view all items

(Results 1-20 of 380)
Help
Items/Page:    Sort:
加强边缘感知的盲去模糊算法 [期刊论文]
中国图象图形学报, 2019-03-06, 卷号: 24, 期号: 6
邱枫
  |  View/Download:7/0
 
Instant Stippling on 3D Scenes [期刊论文]
Computer Graphics Forum, 2018, 卷号: 37, 期号: 7, 页码: 255-266
Ma Lei(马雷);  Jiangwei Guo;  Dong-ming Yan;  Hanqiu Sun;  Yanyun Chen
  |  View/Download:38/0
 
Incremental Voronoi sets for instant stippling [期刊论文]
The Visual Computer, 2018, 卷号: 34, 期号: 6-8
Ma Lei(马雷);  Yanyun Chen;  Yingling Qian;  Hanqiu Sun
  |  View/Download:23/0
 
Barrier certificates revisited [期刊论文]
JOURNAL OF SYMBOLIC COMPUTATION, 2017-05-01, 卷号: 80, 页码: 62-86
Dai, Liyun;  Gan, Ting;  Xia, Bican;  Zhan, Naijun
View/Download:48/0
 
基于限界模型检查的Web服务行为失配检测 [期刊论文]
计算机科学, 2012, 卷号: 39, 期号: 6, 页码: 129-132
戎玫; 陈圣标; 张广泉
  |  View/Download:23/1
 
基于纹理规则性分析的图像填补方法 [期刊论文]
计算机辅助设计与图形学学报, 2012, 卷号: 24, 期号: 2, 页码: 183-190
郝川艳; 陈昕; 吴恩华
  |  View/Download:34/2
 
基于约束的软件失效域识别与特征分析 [期刊论文]
软件学报, 2012, 卷号: 23, 期号: 7, 页码: 1688-1701
孙昌爱
  |  View/Download:34/1
 
两层架构的可信身份服务平台研究与设计 [期刊论文]
Computer Applications and Software, 2012, 卷号: 29, 期号: 3, 页码: 1-4,8
朱玉涛; 王雅哲; 武传坤
  |  View/Download:139/1
 
基于自适应光子发射的渐进式光子映射 [期刊论文]
Computer Engineering and Design, 2012, 卷号: 33, 期号: 1, 页码: 219-223
李睿; 陈彦云; 刘学慧
  |  View/Download:45/1
 
一种基于模型结合的错误定位方法 [期刊论文]
中国科技论文, 2012, 卷号: 7, 期号: 1, 页码: 19-27
唐启锋; 许蕾; 钱巨; 陈林; 张震宇
  |  View/Download:19/1
 
基于自适应分割的动态面光源图像空间绘制 [期刊论文]
Computer Engineering and Design, 2012, 卷号: 33, 期号: 2, 页码: 624-629
刘洋; 刘学慧; 吴恩华
  |  View/Download:21/1
 
正规树文法的产生式相交判定 [期刊论文]
计算机工程与设计, 2012, 卷号: 33, 期号: 3, 页码: 1197-1202,1212
倪晓勇; 陈海明
  |  View/Download:27/2
 
an inductive approach to strand spaces [期刊论文]
Formal Aspects of Computing, 2011, 期号: 1, 页码: 1-37
Li Yongjian; Pang Jun
  |  View/Download:18/0
 
a novel formalization of symbolic trajectory evaluation semantics in isabelle/hol [期刊论文]
Theoretical Computer Science, 2011, 卷号: 412, 期号: 25, 页码: 2746-2765
Li Yongjian; Hung William N.N.; Song Xiaoyu
  |  View/Download:24/0
 
大规模场景流体模拟的耦合算法 [期刊论文]
计算机辅助设计与图形学学报, 2011, 卷号: 23, 期号: 6, 页码: 1028-1033
武小龙; 吴恩华; 张辉
  |  View/Download:72/1
 
theory and applications of models of computation (tamc 2008) [期刊论文]
Theoretical Computer Science, 2011, 卷号: 412, 期号: 18, 页码: 1645-
Agrawal Manindra; Li Angsheng
  |  View/Download:19/0
 
on the expressive power of schemes [期刊论文]
Information and Computation, 2011, 卷号: 209, 期号: 9, 页码: 1231-1245
Dowek Gilles; Jiang Ying
  |  View/Download:31/1
 
line drawings abstraction from 3d models [期刊论文]
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, 卷号: 6530, 期号: 1, 页码: 104-111
Zhao Shujie; Wu Enhua
  |  View/Download:23/0
 
automatic clustering using genetic algorithms [期刊论文]
Applied Mathematics and Computation, 2011, 卷号: 218, 期号: 4, 页码: 1267-1279
Liu Yongguo; Wu Xindong; Shen Yidong
  |  View/Download:25/0
 
《软件测试》专辑前言 [期刊论文]
计算机学报, 2011, 期号: 6, 页码: 951-952
张健; 徐宝文
  |  View/Download:28/0
 

 

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