1. Automatic verification is not about proving correctness, but about finding bugs much earlier in the development of a system. 2. it is no longer feasible to shut down a malfuncitoning system in order to restore saftety, even when failureis not
也許大家不相信,數學是解決資訊檢索和自然語言處理的最好工具。它能非常清晰地描述這些領域的實際問題並且給出漂亮的解決辦法。每當人們應用數學工具解決一個語言問題時,總會感歎數學之美。我們希望利用 Google 中文黑板報這塊園地,介紹一些數學工具,以及我們是如何利用這些工具來開發 Google 產品的。系列一: 統計語言模型 (Statistical Language Models)Google
you can access the original here ======= As a not-distant-outsider, let me mention the sources of bias I may have. I work at Yahoo!, which has started using Bing. This might predispose me towards Bing, but on the other hand I’m still at Yahoo!,
from Akash Manohar's blogFirst off, welcome to the fraternity. There aren’t too many people who want to create stuff and solve problems. You are a hacker. You are one of those who wants to do something interesting.“When you don’t create things, you
1. Two concepts in R: objects and functions Object: a storage space with an associated name; Function: a special type of R objects designed to carry out some operation.2. 賦值:<- (e.g: x<-45); 列出現有所有對象: ls() or objects()3. vector: