自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

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

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

2008-02-19 23:54:00 7721 6

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

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

2008-02-17 23:25:00 8226 8

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