搜索结果: 1-2 共查到“计算机软件 uncertainty”相关记录2条 . 查询时间(0.093 秒)
From Uncertainty to Belief:Inferring the Specification Within
Uncertainty Belief Inferring the Specification Within
2015/8/7
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presents a novel framework ...
Representing Uncertainty in Visualisations of Future Landscapes
GIS visualization understanding
2015/7/7
The use of computer-based visualisations to depict landscape futures is increasingly common in environmental decision-making,
particularly where information must be communicated to a wide and non-exp...