weixin_54426741

模型检测(modelchecking)是一种很重要的自动验证技术。它最早由Clarke和Emerson以及Quielle和Sifakis在1981年分别提出，主要通过显式状态搜索或隐式不动点计算来验证有穷状态并发系统的模态/命题性质。由于模型检测可以自动执行，并能在系统不满足性质时提供反例路径，因此

Empirical software engineering

今年刚接触机器学习时拜读过李航老师的统计学习方法，很有收获。 最近看到李航老师更新了新的勘误表，转载作为收藏 原文链接 http://blog.sina.com.cn/s/blog_7ad48fee01017dpi.html#cmt_3285959

统计学习与机器学习有什么不同呢？其实统计学习也叫统计机器学习，从名字就可以看出，统计学习是从统计学科的角度、利用机器（编程算法）来对数据进行预测分析，机器学习差不多等于统计学习，机器学习可不可以不依赖统计方法？目前没找到资料证实。我个人的理解是，统计学习这种叫法更适用于学科理论，机器学习则偏于工程实

不仅仅是人工智能与互联网的结合,而是人工智能、生物工程和互联网的结合。 跟互联网结合以后,这些科技创新在工业制造、在军事、在宇宙探测上有作用。