Minki Cho | DeepAI

DeepAI

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

Featured Co-authors

Xiaoyu Xiang
14 publications
Dongjae Lee
9 publications
Chung-Kil Hur
5 publications
Jan Allebach
5 publications
Youngju Song
2 publications
Renee Jessome
1 publication
Eric Maggard
1 publication
Yousun Bang
1 publication

research

∙ 03/14/2022

Conditional Contextual Refinement (CCR)

Contextual refinement (CR) is one of the standard notions of specifying ...

0 Youngju Song, et al. ∙

research

∙ 09/07/2021

Abstraction Logic: The Marriage of Contextual Refinement and Separation Logic

Contextual refinement and separation logics are successful verification ...

0 Youngju Song, et al. ∙

research

∙ 06/06/2019

Blockwise Based Detection of Local Defects

Print quality is an important criterion for a printer's performance. The...

0 Xiaoyu Xiang, et al. ∙