搜索结果: 1-3 共查到“计算机科学技术基础学科 Results”相关记录3条 . 查询时间(0.144 秒)
Set Constraints: Results, Applications, and Future Directions
Set Constraints Results Applications Future Directions
2016/5/24
Set constraints are a natural formalism for many problems that arise in program analysis. This paper provides a brief introduction to set constraints: what set constraints are, why they are interestin...
Some Trade-off Results for Polynomial Calculus
Proof complexity polynomial calculus PCR resolution trade-offs size space degree pebble games
2016/1/23
We present size-space trade-offs for the polynomial calculus(PC) and polynomial calculus resolution (PCR) proof sys-tems. These are the first true size-space trade-offs in any algebraic proof system, ...
DESIGN AND PRACTICE ON METADATA SERVICE SYSTEM OF SURVEYING AND MAPPING RESULTS BASED ON GEONETWORK
Metadata Standards Architecture Web based Performance Distributed
2014/5/8
Based on the analysis and research on the current geographic information sharing and metadata service，we design, develop and
deploy a distributed metadata service system based on GeoNetwork covering...