图 书 馆开课单位--澳大利亚信息通信技术研究中心
11
12
13
14
11Overview of Automated Reasoning[自动推理的概述]
Michael Norrish(澳大利亚信息通信技术研究中心) Course Description:In many applications, we expect computers to reason logically. We might naively expect this to be what computers are good at, but i...
热度：83
Michael Norrish(澳大利亚信息通信技术研究中心) Course Description:In many applications, we expect computers to reason logically. We might naively expect this to be what computers are good at, but i...
热度：83
12Graph Matching Algorithms[图匹配算法]
Terry Caelli(澳大利亚信息通信技术研究中心) Graph matching plays a key role in many areas of computing from computer vision to networks where there is a need to determine correspondences between...
热度：63
Terry Caelli(澳大利亚信息通信技术研究中心) Graph matching plays a key role in many areas of computing from computer vision to networks where there is a need to determine correspondences between...
热度：63
13Award ceremony[颁奖仪式]
Sebastian Thrun, Toby Walsh, Gerhard Brewka(澳大利亚信息通信技术研究中心) moderator: Toby Walsh, NICTA, Australia's ICT Research Centre of Excellence author: Gerhard Brewka, Intelligent Systems Department, University of Le...
热度：34
Sebastian Thrun, Toby Walsh, Gerhard Brewka(澳大利亚信息通信技术研究中心) moderator: Toby Walsh, NICTA, Australia's ICT Research Centre of Excellence author: Gerhard Brewka, Intelligent Systems Department, University of Le...
热度：34
14Search and Games[搜索和游戏]
Adi Botea(澳大利亚信息通信技术研究中心) Search is a major direction in current AI research and a powerful solving technology in a wide range of real-life problems. This course focuses on sin...
热度：22
Adi Botea(澳大利亚信息通信技术研究中心) Search is a major direction in current AI research and a powerful solving technology in a wide range of real-life problems. This course focuses on sin...
热度：22