Masahiko Watanabe

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 8

Top Topics

Shape Classification

Fourier Descriptors

Top Venues

UbiComp (Adjunct Publication)

Publications

Masahiko Watanabe, Kuanjiu Zhou, Yicong Li, Zizhong Wang, Junyu Li
EHSTM: a formal model of embedded software and research on several key issues. CCF Trans. High Perform. Comput. 3 (4) (2021)
Huihui Wu, Deyun Lv, Tengxiang Cui, Gang Hou, Masahiko Watanabe, Weiqiang Kong
SDLV: Verification of Steering Angle Safety for Self-Driving Cars. Formal Aspects Comput. 33 (3) (2021)
Zhen Wang, Xiaoning Han, Weiqiang Kong, Yong Piao, Gang Hou, Masahiko Watanabe, Akira Fukuda
A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features. TASE (2020)
Yuan Yuan, Weiqiang Kong, Gang Hou, Yan Hu, Masahiko Watanabe, Akira Fukuda
From Local to Global Semantic Clone Detection. DSA (2019)
Masahiko Watanabe, Takeshi Yoneyama, Mitsutoshi Nakada, Tetsuyou Watanabe
Development of disposable pressure sensible retractor system for preventing the overloading. SII (2019)
Hiroyuki Karasawa, Rui Fukui, Masahiko Watanabe, Shin'ichi Warisawa
Simultaneous Recognition of Hand Shape and Two-Axis Wrist Bending Using Wearable Wrist Contour Measuring Device. AIM (2019)
Kun Liu, Xiaozhen Zhang, Weiqiang Kong, Gang Hou, Masahiko Watanabe, Akira Fukuda
Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs. DSA (2019)
Weiqiang Kong, Gang Hou, Xiangpei Hu, Yasuhito Arimoto, Masahiko Watanabe, Takahiro Ando, Kenji Hisazumi, Akira Fukuda
ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC. ICA (2016)
Rui Fukui, Hirotaka Ifuku, Masahiko Watanabe, Masamichi Shimosaka, Tomomasa Sato
Easy-to-install system for daily walking ability assessment using a distance sensor array. J. Ambient Intell. Smart Environ. 7 (3) (2015)
Rui Fukui, Naoki Hayakawa, Masahiko Watanabe, Hitoshi Azumi, Masayuki Nakao
Hand gesture interface for content browse using wearable wrist contour measuring device. IROS (2015)
Rui Fukui, Masahiko Watanabe, Masamichi Shimosaka, Tomomasa Sato
Hand shape classification in various pronation angles using a wearable wrist contour sensor. Adv. Robotics 29 (1) (2015)
Rui Fukui, Masahiko Watanabe, Masamichi Shimosaka, Tomomasa Sato
Hand-shape classification with a wrist contour sensor: Analyses of feature types, resemblance between subjects, and data variation with pronation angle. Int. J. Robotics Res. 33 (4) (2014)
Rui Fukui, Keisuke Maeda, Masahiko Watanabe, Masamichi Shimosaka, Tomomasa Sato
Numerical modeling of image discriminability for home storage and organization system on a smart device. UbiComp (Adjunct Publication) (2013)
Rui Fukui, Takuya Sunakawa, Shuhei Kousaka, Masahiko Watanabe, Tomomasa Sato, Masamichi Shimosaka
TansuBot: A drawer-type storage system for supporting object search with contents' photos and usage histories. IROS (2013)
Rui Fukui, Masahiko Watanabe, Masamichi Shimosaka, Tomomasa Sato
Development of wrist contour measuring device for an interface using hand shape recognition. Adv. Robotics 27 (7) (2013)
Rui Fukui, Masahiko Watanabe, Masamichi Shimosaka, Tomomasa Sato
Hand Shape Classification with a Wrist Contour Sensor - (Comparison of Feature Types and Observation of Resemblance among Subjects). ISER (2012)
Ayumi Kato, Masahiko Watanabe, Yusuke Fukazawa, Tomomasa Sato, Taketoshi Mori
World eco-tope. SIGGRAPH ASIA Art Gallery (2012)
Ayumi Kato, Masahiko Watanabe, Yusuke Fukazawa, Tomomasa Sato, Taketoshi Mori
World eco-tope. SIGGRAPH Posters (2012)
Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix. ICCSA Workshops (2011)
Rui Fukui, Masahiko Watanabe, Tomoaki Gyota, Masamichi Shimosaka, Tomomasa Sato
Hand shape classification with a wrist contour sensor: development of a prototype device. UbiComp (2011)
Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. APSEC (2011)
Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix. IEICE Trans. Inf. Syst. (5) (2011)
Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, Masahiko Watanabe
An SMT Approach to Bounded Model Checking of Design in State Transition Matrix. ICCSA Workshops (2010)
Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
Model Checking of Software Design in State Transition Matrix. Software Engineering Research and Practice (2010)
Masahiko Watanabe, Akira Fukuda, Michihiro Matsumoto, Hirokazu Yatsu, Ichiro Hosotani, Shigeyuki Kido
A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software. QSIC (2007)