Online edition: ISSN 2432-6380
[TOP] | [2018] | [2019] | [2020] | [2021] | [2022] | [2023] | [2024] | [Japanese] / [English]
ICM2024-16
A Path Calculation Method Satisfying Constraints between Multiple Paths Using SAT Solver
Kazuki Tanabe, Motoki Takenaka, Harunobu Yoshida, Tatsuya Fujiwara, Teruhisa Tajima (NTT Communications)
pp. 1 - 6
ICM2024-17
Proposal and Evaluation of an Automatic Modification Method for GUI Component Detection Errors in Automatic System Operation
Hiroki Koike, Hidetaka Koya, Shiji Ogawa, Hajime Nakajima, Haruo Oishi (NTT)
pp. 7 - 12
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.