Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Jitao Han"'
Publikováno v:
Journal of Marine Science and Engineering, Vol 12, Iss 6, p 964 (2024)
Fish object detection and counting in pelagic fisheries face many challenges in complex environments. Sonar imaging technology offers a solution because it generates high-resolution images underwater. In this paper, we propose a sonar-based fish obje
Externí odkaz:
https://doaj.org/article/7843c8f1017b4419872fcbe55e1ff719
Publikováno v:
Proceedings of the ACM on Programming Languages. 4:1-27
Research on program termination has a long tradition. However, most of the existing techniques target a single program only. We propose in this paper an incremental termination analysis approach by reusing certified modules across different program v
Publikováno v:
2013 International Conference on Optoelectronics and Microelectronics (ICOM).
A novel redundant inertial measurement unit (RIMU) based on non-redundant inertial measurement unit (NRIMU) as its basic unit is proposed. Low-cost, high-precision and high-reliability are features of the novel RIMU which is different from traditiona
Publikováno v:
2013 International Conference on Optoelectronics & Microelectronics (ICOM); 2013, p18-23, 6p