网站地图 | Tags | 热门标准 | 最新标准 | 订阅
您当前的位置:首页 > 论文 > 电子

电子

利用SMT约束分解方法求解RTL可满足性问题

更新日期: 2021-01-04   标准语言: 中文版   浏览次数: 3272 ...

像素域Wyner-Ziv视频编码的码率控制

更新日期: 2021-01-04   标准语言: 中文版   浏览次数: 3223 ...

5阶三角多项式空间中的拟Bézier基在三角域上的推广

更新日期: 2021-01-04   标准语言: 中文版   浏览次数: 3281 ...

网格曲面近似-最直路径-的快速计算

更新日期: 2021-01-02   标准语言: 中文版   浏览次数: 3211 ...

基于子图同构与事例匹配的装配体局部结构相似性分析

更新日期: 2021-01-02   标准语言: 中文版   浏览次数: 3224 ...
下载排行 | 下载帮助 | 下载声明 | 信息反馈 | 网站地图  360book | 联系我们谢谢