BLOG@CACM | ACM通信 - vwin德赢ac米兰合作,vwin德赢AC米兰官网网址

从BLOG@CACM

正确使用程序(7)

你以前运行过程序证明吗?现在是你的机会! Bertrand Meyer
从BLOG@CACM|2020年3月12日下午01:46

从BLOG@CACM

正确使用程序(1)

为什么有一个系统的软件验证方法是好的。 Bertrand Meyer
从BLOG@CACM|2020年2月22日08:38

从BLOG@CACM

我的科学大数据是孤独的

尽管大数据在科学和工程领域带来了令人生畏的技术挑战，但社会和经济挑战也同样困难，尽管…… 丹尼尔·里德
从BLOG@CACM|2012年6月4日08:47

从BLOG@CACM

机器学习与算法研究方向

深入探讨机器学习与算法的近期研究方向。 约翰·朗格弗德
从BLOG@CACM|2011年5月16日上午09:21

从BLOG@CACM

拥抱噪音或为什么计算机科学家应该停止担忧，学会爱错误

不是每件事，甚至大多数事情都需要精确。处理失败最好的方法是一直期待它们出现，而不是将它们视为异常。我们应该… 格雷格·林登
从BLOG@CACM|2011年4月28日12:43

从BLOG@CACM

通过计算进行智能放大

IBM的沃森系统最近在《危险边缘》(Jeopardy!)图解，大规模数据的组合，丰富的算法套件和强大的… 丹尼尔·里德
从BLOG@CACM|2011年2月18日下午04:17

从BLOG@CACM

与委员会

我在PCAST上讲了三个故事——谷歌故事、模型检查和机器学习——以此来说明联邦政府持续资助基础…… 珍妮特·m·翼
从BLOG@CACM|2010年9月15日下午04:25

从BLOG@CACM

记住网络狗

1993年，彼得·施泰纳(Peter Steiner)在《纽约客》(The New Yorker)上发表了一幅标志性的漫画，描绘了新兴互联网的本质。它展示了一只狗坐在电脑前，…… 丹尼尔·里德
从BLOG@CACM|2010年8月8日下午05:04

从BLOG@CACM

从DARPA网络挑战中学习

第三部分:经验教训。这是佐治亚理工学院团队在DARPA网络挑战赛中的经历，该比赛旨在观察在线社交…… 伊桑Trewhitt
从BLOG@CACM|2010年3月5日上午11:37

从BLOG@CACM

找到DARPA的10个红气球

第二部分:发布日。这是佐治亚理工学院团队在DARPA网络挑战赛中的经历，该比赛旨在观察在线社交网络如何…… 伊桑Trewhitt
从BLOG@CACM|2010年3月1日下午05:04

从BLOG@CACM

为DARPA网络挑战做准备

2009年底，DARPA举办了网络挑战赛，一项旨在观察在线社交网络如何定位10个系在…… 伊桑Trewhitt
从BLOG@CACM|2010年2月24日上午10:26

从BLOG@CACM

WSDM 2010:第3天

WSDM 2010的第三天。 丹尼尔顿克朗
从BLOG@CACM|2010年2月6日下午05:22

从BLOG@CACM

WSDM 2010:第2天

WSDM 2010的第二天报告。 丹尼尔顿克朗
从BLOG@CACM|2010年2月5日下午05:25

从BLOG@CACM

WSDM 2010:第一天

WSDM 2010会议第一天的报告。 丹尼尔顿克朗
从BLOG@CACM|2010年2月5日下午05:25

从BLOG@CACM

2010年会带来什么?

在2010年，我们会在计算机领域看到什么变化? 格雷格·林登
从BLOG@CACM|2010年1月15日晚上11:02

从BLOG@CACM

外部大脑的兴起

从一个完全意想不到的来源，我们开始实现外部大脑的梦想，补充我们的知识、智慧和记忆。 格雷格·林登
从BLOG@CACM|2009年12月14日下午04:22

从BLOG@CACM

通过用户反馈改进GPS软件

我很感激我的GPS软件能告诉我我在哪里，但它应该能更好地预测我将去哪里。 鲁本奥尔特加
从BLOG@CACM|2009年12月8日上午11:43

从BLOG@CACM

主题演讲1:梅根·史密斯

梅根·史密斯在格蕾丝·霍珀演讲 瓦莱丽•巴尔
从BLOG@CACM|2009年10月2日下午04:27

从BLOG@CACM

改变世界野生网络的搜索行为

我们是否正处于搜索的转折点是本月真正价值1亿美元的问题。这是更多的适应，然后功能，大多数普通互联网用户走向…… 拉玛饶
从BLOG@CACM|2009年6月20日上午09:35

从BLOG@CACM

什么是好的推荐算法?

有人可能很快就会赢得100万美元的Netflix大奖。获胜的算法会给出人们喜欢的电影推荐吗? 格雷格·林登
从BLOG@CACM|2009年3月24日下午12时05分