开课单位--IRISA公司
1 1/1
![](functions/showpic.php?filename=2016052702282161.png)
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...
热度:54
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...
热度:54
![](functions/showpic.php?filename=2016102208250658.jpg)
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...
热度:87
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...
热度:87
1 1/1