欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Sogou
来自开放百科 - 灰狐
搜狗是搜狐公司于2004年8月3日推出的完全自主技术开发的全球首个第三代互动式中文搜索引擎,是一个具有独立域名的专业搜索网站--“搜狗” (www.sogou.com)。以一种人工智能的新算法,分析和理解用户可能的查询意图,给予多个主题的“搜索提示”,在用户查询和搜索引擎返回结果的人机交互过程中,引导用户更快速准确定位自己所关注的内容,帮助用户快速找到相关搜索结果,并可在用户搜索冲浪时,给与用户未曾意识到的主题提示。
搜狗的问世标志着全球首个第三代互动式中文搜索引擎诞生,是搜索技术发展史上的重要里程碑。搜狗网页搜索,全球首个中文网页收录量达到40亿的搜索引擎。网页更新频率最快1分钟/次,平均搜索时间小于0.02 秒。搜狗除了网页搜索外,还有多个专项搜索为:新闻搜索、音乐搜索、购物搜索、地图搜索等,涵盖生活的方方面面。
搜狗网页搜索3.0收录100亿网页, 并将于2007.1.1 发布
分享您的观点