Abstract: Underwater object detection is of great significance for various applications in underwater scenes. However, class imbalance issue is still an unsolved bottleneck for current underwater ...
Abstract: Separation logic is a substructural logic which has proved to have numerous and fruitful applications to the verification of programs working on dynamic data structures. Recently, Barthe, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback