图 书 馆开课单位--IRISA公司
1 1/1
1Logic, 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...
热度：51
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...
热度：51
2Cold 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...
热度：82
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...
热度：82
1 1/1