Login / Signup
Yuma Matsumoto
Publication Activity (10 Years)
Years Active: 2015-2021
Publications (10 Years): 2
Top Topics
Articulated Model
Automated Verification
Volumetric Reconstruction
Human Posture
Top Venues
IEICE Trans. Inf. Syst.
EMBC
APLAS
</>
Publications
</>
Yoshito Tsuruda
,
Shingo Akita
,
Kotomi Yamanaka
,
Yuma Matsumoto
,
Masataka Yamamoto
,
Yoshitake Sano
,
Teiichi Furuichi
,
Hiroshi Takemura
3D Body Parts Tracking of Mouse Based on RGB-D Video from Under an Open Field.
EMBC
(2021)
Yuma Matsumoto
,
Takayuki Omori
,
Hiroya Itoga
,
Atsushi Ohnishi
A Method of Verifying Time-Response Requirements.
IEICE Trans. Inf. Syst.
(7) (2018)
Yuma Matsumoto
,
Naoki Kobayashi
,
Hiroshi Unno
Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs.
APLAS
(2015)