Automated Debugging with Soft Constraints(Fostering Joint International Research)
Automated Debugging with Soft Constraints(Fostering Joint International Research)
具有软约束的自动调试（促进国际联合研究）
批准号：
15KK0016
负责人：
Hosobe Hiroshi
金额：
$7.16万
依托单位：
依托单位国家：
日本
项目类别：
Fund for the Promotion of Joint International Research (Fostering Joint International Research)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016 至 2019
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Solving Hierarchical Soft Constraints with an SMT Solver
使用 SMT 求解器求解分层软约束
使用 SMT 求解器求解分层软约束
DOI：
10.1145/3384613.3384654
发表时间：
2020
期刊：
Proceedings of the 12th International Conference on Computer and Automation Engineering (ICCAE2020)
影响因子：
--
作者：
[Ren Masahiro and Toshiaki Omori, Hiroshi Hosobe]
通讯作者：
Hiroshi Hosobe
ソフト制約のモデル化・解決とその応用
软约束建模与求解及其应用
软约束建模与求解及其应用
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[Masaki Ito, Tatsu Kuwatani, Ryosuke Oyanagi and Toshiaki Omori, Teppei Yajima and Hiroshi Hosobe, 大森敏明，岡本敦，道林克禎，Oman Drilling Project Phase 2 Science Party, 伊藤雅起，桑谷立，大柳良平，大森敏明, Kei Takei and Hiroshi Hosobe, 政廣蓮，大森敏明, Satoru Imura and Hiroshi Hosobe, 政廣蓮，大森敏明, 細部博史, 井上広明，大森敏明, 細部博史]
通讯作者：
細部博史
A Japanese Software Keyboard for Tablets That Reduces User Fatigue
用于平板电脑的日语软件键盘可减少用户疲劳
用于平板电脑的日语软件键盘可减少用户疲劳
DOI：
10.1109/compsac.2018.00054
发表时间：
2018
期刊：
Proceedings of the 42nd IEEE International Conference on Computers, Software and Applications (COMPSAC2018)
影响因子：
--
作者：
[Masaki Ito, Tatsu Kuwatani, Ryosuke Oyanagi and Toshiaki Omori, Teppei Yajima and Hiroshi Hosobe]
通讯作者：
Teppei Yajima and Hiroshi Hosobe
A 2-by-6-Button Japanese Software Keyboard for Tablets
适用于平板电脑的 2 x 6 按钮日语软件键盘
适用于平板电脑的 2 x 6 按钮日语软件键盘
DOI：
10.5220/0006652701470154
发表时间：
2018
期刊：
Proceedings of VISIGRAPP2018
影响因子：
--
作者：
[Masaki Ito, Tatsu Kuwatani, Ryosuke Oyanagi and Toshiaki Omori, Teppei Yajima and Hiroshi Hosobe, 大森敏明，岡本敦，道林克禎，Oman Drilling Project Phase 2 Science Party, 伊藤雅起，桑谷立，大柳良平，大森敏明, Kei Takei and Hiroshi Hosobe]
通讯作者：
Kei Takei and Hiroshi Hosobe
ニースソフィアアンティポリス大学(フランス)
尼斯索菲亚安蒂波利斯大学（法国）
尼斯索菲亚安蒂波利斯大学（法国）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
共 7 条
Technology for Reliable Reactive Programming
-
批准号：17H01726
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$11.73万
-
财政年份：2017
-
负责人：Hosobe Hiroshi
-
依托单位：
海外基金