共 68 条
[1]
Agarwal Nakul, 2019, Frontier Computing. Theory, Technologies and Applications (FC 2018). Lecture Notes in Electrical Engineering (LNEE 542), P629, DOI 10.1007/978-981-13-3648-5_76
[2]
Hybrid theorem proving as a lightweight method for verifying numerical software
[J].
PROCEEDINGS OF CORRECTNESS 2018: 2ND IEEE/ACM INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS,
2018,
:1-8
[3]
People-tracking-by-detection and people-detection-by-tracking
[J].
2008 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, VOLS 1-12,
2008,
:1873-1880
[4]
[Anonymous], 2007, P INT C COMP VIS SYS
[5]
Baker B, GATEKEEPING SOLDIERS
[6]
Bertozzi M, 2003, 2003 IEEE INTELLIGENT TRANSPORTATION SYSTEMS PROCEEDINGS, VOLS. 1 & 2, P328
[9]
A Unified Multi-scale Deep Convolutional Neural Network for Fast Object Detection
[J].
COMPUTER VISION - ECCV 2016, PT IV,
2016, 9908
:354-370
[10]
Cario G, 2010, P AMER CONTR CONF, P5344