首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

云计算、大数据……昆明智慧法院建设让公正更快抵达

掌上春城消息 公正,是司法的生命线。 公平正义,是社会主义法治的价值追求。 随着今年7月1日全市两级法院全面按照“昆明智慧法院”运行,实现了网络互联互通、数据集中展示、审判质效监督和远程司法活动,让公平正义来得更加快捷。 庭审引入语音识别转写系统,书记员只需开启麦克风,点开电脑程序,就可实现庭审笔录实时音字转换,以往一份22页笔录的庭审需要三四个小时,而现在一个半小时即可结束;引入“随讲随翻”的电子质证系统,通过语音唤醒展示,在法庭庭审过程中电子证据材料可实现实时调取、同步显示;开启法律文书“左看右写”模式

06
您找到你想要的搜索结果了吗?
是的
没有找到

干货必看!专家深度解读智慧教育发展前景

当前,智能技术的发展对传统的教育理念、教育体系和教学模式产生了重要影响,以智慧教育的切入为契机,开启了教育领域全方位的变革。 6月26日,由教育部教育管理信息中心主办,《中国教育信息化》杂志社、腾讯智慧教育发展研究中心承办,昆明市教育体育局、昆明市电化教育馆(昆明教育电视台)、云南师范大学附属小学(呈贡校区)协办的中国智慧教育区域发展研究报告区域研讨会在云南昆明举行。 研讨会针对报告进行了解读,并针对我国智慧教育发展现状,发展趋势及最新成果进行了分析、预测。 中央电化教育馆副馆长韩骏,教育部教育管理信

01

什么是Paxos算法?

Paxos算法目前在Google的Chubby、MegaStore、Spanner等系统中得到了应用,Hadoop中的ZooKeeper也使用了Paxos算法,在上面的各个系统中,使用的算法与Lamport提出的原始Paxos并不完全一样,这个以后再慢慢分析。本博文的目的是,如何让一个小白在半个小时之内理解Paxos算法的思想。小白可能对数学不感兴趣,对分布式的复杂理论不熟悉,只是一个入门级程序员。之所以想写这篇博文,是因为自己看了网上很多介绍Paxos算法的文章,以及博客,包括Lamport的论文,感觉还是难以理解,大多过于复杂,本人一直认为,复杂高深的理论背后一定基于一些通用的规律,而这些通用的规律在生活中其实我们早就遇到过,甚至用过。所以,我们先忽略Paxos算法本身,从生活中的小事开始谈起。

03

热点剖析 | 5月国际重磅“两会”缘何在云南举办?幕后“推手”是谁?

3月29日,腾讯与云南省文化和旅游厅在北京钓鱼台国宾馆召开联合发布会,共同宣布2019年云南国际智慧旅游大会将于5月21日在昆明滇池国际会展中心举办。 这会是一场兼具国际范、科技范、创新范于一体的盛会,将打造中国在全球智慧领域的高地和影响力。 大会将集中展示国内外智慧旅游发展成果和优秀案例,共同探讨文化和旅游融合共生与创新发展,分享国际旅游城市发展经验,交流数字文旅研究成果,展望智慧旅游美好未来。 同期,腾讯全球数字生态大会也将于5月21日至23日拉开帷幕,紧密连接消费互联网和产业互联网,洞察数字经济

01
领券