搜索结果: 1-2 共查到“计算机科学技术 simplification”相关记录2条 . 查询时间(0.078 秒)
Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis
Small Formulas Large Programs On-line Constraint Simplification Scalable Static Analysis
2016/5/24
Static analysis techniques that represent program states as formulas typically generate a large number of redundant formulas that are incrementally constructed from previous formulas. In addition to q...
PERCEPTUALLY GUIDED GEOMETRICAL PRIMITIVE LOCATION METHOD FOR 3D COMPLEX BUILDING SIMPLIFICATION
3D complex building Geometrical primitive location Human vision system
2016/2/29
Because of detailed geometrical components based description, 3D complex building contains the most elaborated perceptual and
comprehensive semantic information. However, since the lack of optimal si...