我要去桂林-田春峰

田春峰的IT网志

为什么2007年的图灵奖选择了模型检测技术

为什么2007年的图灵奖选择了模型检测技术像树一样成长,刚听完俞敏洪的在赢在中国的演讲----------题记2007年图灵奖授予了在模型检测技术领域的奠基性贡献的科学家:Edmund M. Clarke、E Allen Emerson和Joseph Sifakis三位科学家。什么是模型检测技术呢...

2008-02-19 23:54:00

阅读数:7511

评论数:7

机器智能将会在2029年达到人类的水平

机器智能将会在2029年达到人类的水平做最重要的事情,并且只有最重要的事情---题记在过年回家的火车上,有一本《科幻杂志》吸引了我的兴趣。刚过了而立之年,还没有过上小康生活的我,早已对科幻失去了儿时的兴趣。这本杂志吸引我的地方是那份很有分量的序言。由于找不到电子版,我这里只大致把作者的观点重述一下...

2008-02-17 23:25:00

阅读数:7998

评论数:8

提示
确定要删除当前文章?
取消 删除
关闭
关闭