Author of the publication

运行时验证中的减少监控开销方法研究 (On Reducing Monitoring Overhead in Runtime Verification).

, , , , and . 计算机科学, 43 (5): 162-168 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

3D ultrasound guidance system for needle placement procedures., , , , , , , and . Medical Imaging: Image-Guided Procedures, volume 6918 of SPIE Proceedings, page 69180H. SPIE, (2008)Real-time motion tracking using 3D ultrasound., , , and . Medical Imaging: Image-Guided Procedures, volume 6509 of SPIE Proceedings, page 65090X. SPIE, (2007)Optimal sensor deployment for 3D AOA target localization., and . ICASSP, page 2544-2548. IEEE, (2015)Augmenting MRI-transrectal ultrasound-guided prostate biopsy with temporal ultrasound data: a clinical feasibility study., , , , , , , , , and 5 other author(s). Int. J. Comput. Assist. Radiol. Surg., 10 (6): 727-735 (2015)Unified Multi-scale Feature Abstraction for Medical Image Segmentation., , , , and . CoRR, (2019)How to Find It Better?: Cross-Learning for WeChat Mini Programs., , , , and . CIKM, page 2753-2761. ACM, (2019)3D AOA target tracking using distributed sensors with multi-hop information sharing., , and . Signal Process., (2018)An Edge Cache-Based Content Delivery Scheme in Green Wireless Networks., , , , , , and . GLOBECOM, page 1-5. IEEE, (2019)Realtime TRUS/MRI Fusion Targeted-Biopsy for Prostate Cancer: A Clinical Demonstration of Increased Positive Biopsy Rates., , , , , , , , and . Prostate Cancer Imaging, volume 6367 of Lecture Notes in Computer Science, page 52-62. Springer, (2010)Iterative Alpha Expansion for estimating gradient-sparse signals from linear measurements., and . CoRR, (2019)