8 citations · 10 across the 3 of their papers we have counts for
3 papers
Negative Selection Approach to support Formal Verification and Validation of BlackBox Models' Input Constraints
Abdul-Rauf Nuhu, Kishor Datta Gupta, Wendwosen Bellete Bedada +4
Generating unsafe sub-requirements from a partitioned input space to support verification-guided test cases for formal verification of black-box models is a challenging problem for…
Mitigating shortage of labeled data using clustering-based active learning with diversity exploration
Xuyang Yan, Shabnam Nazmi, Biniam Gebru +4
In this paper, we proposed a new clustering-based active learning framework, namely Active Learning using a Clustering-based Sampling (ALCS), to address the shortage of labeled dat…
A Robust Completed Local Binary Pattern (RCLBP) for Surface Defect Detection
Nana Kankam Gyimah, Abenezer Girma, Mahmoud Nabil Mahmoud +3
In this paper, we present a Robust Completed Local Binary Pattern (RCLBP) framework for a surface defect detection task. Our approach uses a combination of Non-Local (NL) means fil…