中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
Communities
Subjects
All Items
作者
左正康 [2]
马雷 [2]
王雅哲 [1]
邱枫 [1]
Content Type
期刊论文 [380]
Issued Date
2019 [1]
2018 [2]
2017 [1]
Language
中文 [161]
英语 [33]
Source
软件学报 [55]
计算机辅助设计与图... [35]
计算机学报 [30]
计算机科学 [23]
计算机研究与发展 [17]
更多...
Project
Indexed
WANFANG [59]
EI [44]
SCI [31]
其他 [31]
CSCD [18]
更多...
Spnsorship
national ... [16]
中国计算机学会 [4]
united nat... [2]
chinese co... [1]
institute ... [1]
ISCAS OpenIR
>
计算机科学国家重点实验室
>
期刊论文
view all items
(Results 1-20 of 380)
Help
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submitted Time Ascending
Submitted Time Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Issue Date Ascending
Issue Date Descending
加强边缘感知的盲去模糊算法
[期刊论文]
中国图象图形学报, 2019-03-06, 卷号: 24, 期号: 6
邱枫
  |  
View/Download:21/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:61/0
Incremental Voronoi sets for instant stippling
[期刊论文]
The Visual Computer, 2018, 卷号: 34, 期号: 6-8
Ma Lei(马雷)
;
Yanyun Chen
;
Yingling Qian
;
Hanqiu Sun
  |  
View/Download:36/0
Barrier certificates revisited
[期刊论文]
JOURNAL OF SYMBOLIC COMPUTATION, 2017-05-01, 卷号: 80, 页码: 62-86
Dai, Liyun
;
Gan, Ting
;
Xia, Bican
;
Zhan, Naijun
View/Download:59/0
基于限界模型检查的Web服务行为失配检测
[期刊论文]
计算机科学, 2012, 卷号: 39, 期号: 6, 页码: 129-132
戎玫
;
陈圣标
;
张广泉
  |  
View/Download:32/1
基于纹理规则性分析的图像填补方法
[期刊论文]
计算机辅助设计与图形学学报, 2012, 卷号: 24, 期号: 2, 页码: 183-190
郝川艳
;
陈昕
;
吴恩华
  |  
View/Download:48/2
基于约束的软件失效域识别与特征分析
[期刊论文]
软件学报, 2012, 卷号: 23, 期号: 7, 页码: 1688-1701
孙昌爱
  |  
View/Download:42/1
两层架构的可信身份服务平台研究与设计
[期刊论文]
Computer Applications and Software, 2012, 卷号: 29, 期号: 3, 页码: 1-4,8
朱玉涛
;
王雅哲
;
武传坤
  |  
View/Download:164/1
基于自适应光子发射的渐进式光子映射
[期刊论文]
Computer Engineering and Design, 2012, 卷号: 33, 期号: 1, 页码: 219-223
李睿
;
陈彦云
;
刘学慧
  |  
View/Download:58/1
一种基于模型结合的错误定位方法
[期刊论文]
中国科技论文, 2012, 卷号: 7, 期号: 1, 页码: 19-27
唐启锋
;
许蕾
;
钱巨
;
陈林
;
张震宇
  |  
View/Download:32/1
基于自适应分割的动态面光源图像空间绘制
[期刊论文]
Computer Engineering and Design, 2012, 卷号: 33, 期号: 2, 页码: 624-629
刘洋
;
刘学慧
;
吴恩华
  |  
View/Download:33/1
正规树文法的产生式相交判定
[期刊论文]
计算机工程与设计, 2012, 卷号: 33, 期号: 3, 页码: 1197-1202,1212
倪晓勇
;
陈海明
  |  
View/Download:31/2
an inductive approach to strand spaces
[期刊论文]
Formal Aspects of Computing, 2011, 期号: 1, 页码: 1-37
Li Yongjian
;
Pang Jun
  |  
View/Download:24/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:30/0
大规模场景流体模拟的耦合算法
[期刊论文]
计算机辅助设计与图形学学报, 2011, 卷号: 23, 期号: 6, 页码: 1028-1033
武小龙
;
吴恩华
;
张辉
  |  
View/Download:77/1
theory and applications of models of computation (tamc 2008)
[期刊论文]
Theoretical Computer Science, 2011, 卷号: 412, 期号: 18, 页码: 1645-
Agrawal Manindra
;
Li Angsheng
  |  
View/Download:22/0
on the expressive power of schemes
[期刊论文]
Information and Computation, 2011, 卷号: 209, 期号: 9, 页码: 1231-1245
Dowek Gilles
;
Jiang Ying
  |  
View/Download:41/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:31/0
automatic clustering using genetic algorithms
[期刊论文]
Applied Mathematics and Computation, 2011, 卷号: 218, 期号: 4, 页码: 1267-1279
Liu Yongguo
;
Wu Xindong
;
Shen Yidong
  |  
View/Download:28/0
《软件测试》专辑前言
[期刊论文]
计算机学报, 2011, 期号: 6, 页码: 951-952
张健
;
徐宝文
  |  
View/Download:32/0
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace