Approximate Computing to Cope with Imperfect Information from Growing Data Size

近似计算应对不断增长的数据量带来的不完美信息

• 批准号: 25240002
• 负责人: IWAMA KAZUO
• 金额: $ 30.28万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (A)
• 财政年份: 2013
• 资助国家: 日本
• 起止时间: 2013-04-01 至 2016-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-25240002/
• 关键词: アルゴリズム; 計算困難問題; 情報の補填; 数理モデル化; 理論的性能保証

项目成果

A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis

完全二元基础公式的可满足性算法和平均情况硬度

• 发表时间: 2012
• 期刊: Proceedings of the 27th IEEE Conference on Computational Complexity
• 作者: K.Seto;S.Tamaki
• 通讯作者: S.Tamaki

AAAC 2015

2015年美国汽车协会

• 发表时间: 2015

The Train Delivery Problem Revisited

重新审视火车运送问题

• 发表时间: 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顶点枚举代码的可移植并行实现

• 发表时间: 2013
• 作者: David Avis;Gary Roumanis
• 通讯作者: Gary Roumanis

ICALP/LICS 2015 Joint Conference

ICLP/LICS 2015 联席会议

• 发表时间: 2015