Shin Nakajima | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Elena Troubitsyna
7 publications
Régine Laleau
5 publications
Dominique Méry
3 publications

research

∙ 11/25/2019

Distortion and Faults in Machine Learning Software

Machine learning software, deep neural networks (DNN) software in partic...

0 Shin Nakajima, et al. ∙

research

∙ 05/12/2018

Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Sy

This volume contains the joint proceedings of IMPEX 2017, the first work...

0 Régine Laleau, et al. ∙