约束生成相关论文
现代软件系统规模不断增加,且依赖了大量的库函数,库函数的广泛使用有效地提高了软件开发的效率和质量。然而,库函数在给软件开发......
现阶段针对大规模网络行为数据的入侵检测技术主要以数据挖掘技术为重要趋势,较有代表性的工作之一有采用支持向量机来抽取网络数......
基于角色访问控制具有比传统自主访问控制和强制访问控制在保证企业安全方面的众多优点,从而成为企业建立安全应用的首选模型,而要......
智能规划(AI planning)传统人工智能最古老的研究领域之一。近年来,以启发式搜索,命题自动推理为代表的新规划技术的出现大大改进......
