Abstract: Interpretation has been successfully applied to static analysis, by computing over-approximation of the concrete semantics of various program for many years. However, in the context of ...
Abstract: In recent years, the application of computer vision for detecting rail defects has shown promising results. However, as the accuracy of the models improves, they become more complex with a ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback