开课单位--IRISA公司
1 1/1

1
Logic, Automata & Games[逻辑,自动机与游戏]
  Sophie Pinchinat(IRISA公司) This course provides the students with fundamental notions of temporal logic, mu-calculus, two-player infinite games, alternating tree automata, and w...
热度:69

2
Cold Start Link Prediction[冷启动链路预测]
  Vincent Leroy(IRISA公司) In the traditional link prediction problem, a snapshot of a social network is used as a starting point to predict, by means of graph-theoretic measure...
热度:96
1 1/1