搜索结果: 1-2 共查到“工学 Error diagnosis”相关记录2条 . 查询时间(0.078 秒)
Automated Error Diagnosis Using Abductive Inference
Error diagnosis abductive inference static analysis
2016/5/24
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually classify the report, but ...
Quality evaluation of 3D city building Models with automatic error diagnosis
3D City Models buildings error evaluation self-diagnosis feature extraction classification
2014/4/22
Automatic building modelling allows a cost effective access to 3D semantic information of cities. However, even state-of-the-art algorithms have intrinsic limits and many errors exist in 3D reconstruc...