Kohei Maruchi

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 2

Top Topics

Learning Scheme

Selection Criteria

Deterministic Finite Automaton

Top Venues

Publications

Akihiro Yamaguchi, Shigeru Maya, Kohei Maruchi, Ken Ueno
LTSpAUC: Learning Time-Series Shapelets for Partial AUC Maximization. Big Data 8 (5) (2020)
Akihiro Yamaguchi, Shigeru Maya, Kohei Maruchi, Ken Ueno
LTSpAUC: Learning Time-series Shapelets for Optimizing Partial AUC. SDM (2020)
Kohei Maruchi, Hiromasa Shin, Masahiro Sakai
MC/DC-Like Structural Coverage Criteria for Function Block Diagrams. ICST Workshops (2014)
Masahiro Sakai, Kohei Maruchi, Takeo Imai
Model-Checking C Programs against JML-like Specification Language. APSEC (2012)