机构

• 自动化研究所 [2]
• 软件研究所 [1]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [2]
• 会议论文 [1]

发表日期

• 2019 [1]
• 2017 [1]
• 2009 [1]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Fast and Error-Bounded Space-Variant Bilateral Filtering 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2019, 卷号: 34, 期号: 3, 页码: 550-568 作者:  Yuan, Meng-Ke   |  收藏  |  浏览/下载：80/0  |  提交时间：2019/05/07 error-bounded acceleration  edge-aware smoothing  space-variant bilateral filtering   Error-Bounded and Feature Preserving Surface Remeshing with Minimal Angle Improvement 期刊论文  OAI收割 IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 2017, 卷号: 23, 期号: 12, 页码: 2560-2573 作者:  Hu, Kaimo;  Yan, Dong-Ming;  Bommes, David;  Alliez, Pierre;  Benes, Bedrich   |  收藏  |  浏览/下载：40/0  |  提交时间：2017/02/25 Surface Remeshing  Error-bounded  Feature Preserving  Minimal Angle Improvement  Saliency Function   bounded model checking of actl formulae 会议论文  OAI收割 3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31, Chen Wei; Zhang Wenhui   |  收藏  |  浏览/下载：23/0  |  提交时间：2011/03/20 bounded model checking encoding method  bounded model verification  computation tree logic  error-hunting  encoding  formal logic  formal verification  program debugging  tree data structures