Takahiro Ando

According to our database, Takahiro Ando authored at least 23 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Development of Support System for Ship-Hull Plate Forming Using Laser Scanner.

Masahito Takezawa, Kohei Matsuo, Takahiro Ando

Int. J. Autom. Technol., 2021

2020

Differentiable Rendering: A Survey.

Hiroharu Kato, Deniz Beker, Mihai Morariu, Takahiro Ando, Toru Matsuoka, Wadim Kehl, Adrien Gaidon

CoRR, 2020

An Inter-Organizational Software Architecture for Smart Mobility.

Tsuneo Nakanishi, Yutaka Arakawa, Takahiro Ando, Shigemi Ishida, Kenji Hisazumi, Tsunenori Mine, Akira Fukuda

Proceedings of the ICSIE 2020: 2020 9th International Conference on Software and Information Engineering, 2020

Personal Identification Methods Using Footsteps of One Step.

Yuki Hori, Takahiro Ando, Akira Fukuda

Proceedings of the 2020 International Conference on Artificial Intelligence in Information and Communication, 2020

Monocular Differentiable Rendering for Self-supervised 3D Object Detection.

Deniz Beker, Hiroharu Kato, Mihai Morariu, Takahiro Ando, Toru Matsuoka, Wadim Kehl, Adrien Gaidon

Proceedings of the Computer Vision - ECCV 2020, 2020

2019

Licker: A Tongue Robot for Representing Realistic Tongue Motions.

Ryota Shijo, Mizuki Nagano, Izumi Mizoguchi, Takahiro Ando, Kanji Tamura, Keigo Hiki, Sho Sakurai, Koichi Hirota, Takuya Nojima

Proceedings of the SIGGRAPH Asia 2019 Emerging Technologies, 2019

2018

Gill+Man: breathing through gills experience system.

Izumi Mizoguchi, Takahiro Ando, Mizuki Nagano, Ryota Shijo, Sho Sakurai, Koichi Hirota, Takuya Nojima

Proceedings of the SIGGRAPH Asia 2018 Emerging Technologies, 2018

Software Engineering Practices for the Smart Mobility Market.

Tsuneo Nakanishi, Kenji Hisazumi, Takahiro Ando, Tsunenori Mine, Akira Fukuda

Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

ItoCamLife: A Platform of Sharing and Recommending Information Considering User Contexts to Facilitate Smart Mobility.

Tsunenori Mine, Shiro Mise, Hiroyuki Nakamura, Takuya Hiraoki, Shiori Koga, Takahiro Ando, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda

Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

A Process of Uncertainty Handling Method to Smart Mobility Application Development.

Hiromasa Inoki, Kenji Hisazumi, Takahiro Ando, Akira Fukuda, Tsuneo Nakanishi

Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -.

Akira Fukuda, Tsuneo Nakanishi, Kenji Hisazumi, Kunihiko Kaneko, Shigeaki Tagashira, Tsunenori Mine, Yutaka Arakawa, Shigemi Ishida, Takahiro Ando, Shuichi Ashihara, Masakatsu Ura, Yoshimichi Nakamura, Soichiro Nakamura, Weiqiang Kong, Guoqiang Li

Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

Overview and Application Examples of Agent-Based Unified Simulation Environment.

Takahiro Ando, Ryo Fujii, Kenji Hisazumi, Tsunenori Mine, Tsuneo Nakanishi, Akira Fukuda

Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

Verification Model Translation Method toward Behavior Model for CAST.

Takahiro Ando, Bo Wang, Kenji Hisazumi, Weiqiang Kong, Akira Fukuda, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto

Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018

Squachu: a training game to improve oral function via a non-contact tongue-mouth-motion detection system.

Takahiro Ando, Ayano Masaki, Qing Liu, Takafumi Ooka, Sho Sakurai, Koichi Hirota, Takuya Nojima

Proceedings of the 2018 International Conference on Advanced Visual Interfaces, 2018

2016

Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC.

Weiqiang Kong, Gang Hou, Xiangpei Hu, Takahiro Ando, Kenji Hisazumi, Akira Fukuda

J. Inf. Secur. Appl., 2016

ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC.

Weiqiang Kong, Gang Hou, Xiangpei Hu, Yasuhito Arimoto, Masahiko Watanabe, Takahiro Ando, Kenji Hisazumi, Akira Fukuda

Proceedings of the IEEE International Conference on Agents, 2016

Operation Phase Metrics for Smart Mobility Platform.

Kenji Hisazumi, Tsuneo Nakanishi, Shota Ishibashi, Go Hirakawa, Tsunenori Mine, Takahiro Ando, Hiroki Furusho, Akira Fukuda

Proceedings of the IEEE International Conference on Agents, 2016

2015

Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration.

Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda

Comput. J., 2015

2014

Formal Specification Based Automatic Test Generation for Embedded Network Systems.

Eun-Hye Choi, Hideaki Nishihara, Takahiro Ando, Nguyen Van Tang, Masahiro Aoki, Keiichi Yoshisaka, Osamu Mizuno, Hitoshi Ohsaki

J. Appl. Math., 2014

Translation rules of SysML state machine diagrams into CSP# toward formal model checking.

Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda

Int. J. Web Inf. Syst., 2014

2013

Towards Formal Description of Standards for Automotive Operating Systems.

Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Formalization and Model Checking of SysML State Machine Diagrams by CSP#.

Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda

Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration.

Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013