约束图相关论文
指针分析，是指通过对源程序的分析近似地求出源程序中指针表达式所指向的目标，它在程序静态分析领域中有着非常重要的作用，并非常具有......
随着知识自动化抽取技术不断发展,现已能够从结构化或松散结构化Web资源中抽取时间信息以构建时间知识图谱。时间信息表明知识拥有......
知识库的更新意即向知识库中添加新知识，同时为维护相容性而删除旧知识．已有的知识库更新方法在通常情况下都是难解的．该文从限制问题......
