Skip to content

Koichi Takahashi

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

18

Venues

15

Active years

1990–2025

Best venue rank

B

Where they publish

Papers

18 indexed papers, newest first.

YearVenueTitleAuthors
2025HCIAn Investigation into the Use of LLM-Based Features for Multimodal Estimation of Elderly Engagement in Active Listening.Hung-Hsuan Huang, Koichi Takahashi
2023ICIPImbalance-Aware Adaptive Margin Loss for Fair Multi-Label Face Attribute Recognition.Masashi Usami, Koichi Takahashi, Akihiro Hayasaka
2023WACVSegmentation-free Direct Iris Localization Networks.Takahiro Toizumi, Koichi Takahashi, Masato Tsukada
2017IECONTransporting and rotating control of a jib crane by control moment gyro.Nariyuki Kodani, Shigeto Ouchi, Koichi Takahashi
2016ICONIPBriCA: A Modular Software Platform for Whole Brain Architecture.Kotone Itaya, Koichi Takahashi, Masayoshi Nakamura, Moriyoshi Koizumi, Naoya Arakawa, Masaru Tomita, Hiroshi Yamakawa
2013RO-MANHead pose tracking system using a mobile device.Koichi Takahashi, Yasue Mitsukura
2012RO-MANEye blink detection using monocular system and its applications.Koichi Takahashi, Yasue Mitsukura
2008AiMLA decision procedure for alternation-free modal -calculi.Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya
2008ICSEAIncremental Verification of Large ScaleWorkflows Based on Extended Correctness.Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi
2007ICSEAVerification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams.Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi
2005KESDevelopment of Judging Method of Understanding Level in Web Learning.Yoshinori Adachi, Koichi Takahashi, Masahiro Ozaki, Yuji Iwahori
2005TABLEAUXA Decision Procedure for the Alternation-Free Two-Way Modal -Calculus.Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya
2004FLOPSAnalysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic.Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato
2004KESEmergence of Product Value from On-line Communications.Koichi Takahashi, Yukio Ohsawa, Naohiro Matsumura
2000APLASAbstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection.Koichi Takahashi, Masami Hagiya
2000DISDiscovery and Deduction.Masami Hagiya, Koichi Takahashi
2000RECOMBThe E-CELL project: towards integrative simulation of cellular processes.Masaru Tomita, Kenta Hashimoto, Koichi Takahashi, Yuri Matsuzaki, Ryo Matsushima, Katsuyuki Yugi, Fumihiko Miyoshi, Hisako Nakano, Yusuke Saito, Tom Shimizu, Yoichi Nakayama
1990FORTEA LOTOS Simulator in OBJ.Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi