Login / Signup
Specification description and verification of multitask hybrid systems in the OTS/CafeOBJ method.
Masaki Nakamura
Kazutoshi Sakakibara
Kazuhiro Ogata
Published in:
CoRR (2020)
Keyphrases
</>
pairwise
hybrid systems
machine learning
training data
text mining
mathematical model
multi task