Approximate Computing to Cope with Imperfect Information from Growing Data Size
Approximate Computing to Cope with Imperfect Information from Growing Data Size
近似计算应对不断增长的数据量带来的不完美信息
批准号：
25240002
负责人：
IWAMA KAZUO
金额：
$30.28万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (A)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2016-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(12)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis
完全二元基础公式的可满足性算法和平均情况硬度
完全二元基础公式的可满足性算法和平均情况硬度
DOI：
--
发表时间：
2012
期刊：
Proceedings of the 27th IEEE Conference on Computational Complexity
影响因子：
--
作者：
[K.Seto, S.Tamaki]
通讯作者：
S.Tamaki
AAAC 2015
2015年美国汽车协会
2015年美国汽车协会
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[]
通讯作者：
The Train Delivery Problem Revisited
重新审视火车运送问题
重新审视火车运送问题
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[1.Jing Chen, He Guo, Xin Han and Kazuo Iwama]
通讯作者：
Xin Han and Kazuo Iwama
A Portable Parallel Implementation of the lrs Vertex Enumeration Code
lrs顶点枚举代码的可移植并行实现
lrs顶点枚举代码的可移植并行实现
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
[David Avis, Gary Roumanis]
通讯作者：
Gary Roumanis
ICALP/LICS 2015 Joint Conference
ICLP/LICS 2015 联席会议
ICLP/LICS 2015 联席会议
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[]
通讯作者：
共 24 条