形式化框架相关论文
形式语言理论对计算机科学的发展起了重大的作用，作为对传统字符文法扩展的图文法的形式化研究，其重要意义是不言而喻的。图文法研究......
软件系统的更新是不可避免的。通常这些更新是通过离线方式完成的。离线更新需要先关闭系统,在安装新版本后,重启系统,因此离线更......
机器人足球赛是近年人工智能迅速发展起来的一个重要的研究领域。基于此平台,研究了将规划、竞争、约束、协调纳入一个协作规划框......
