Browse "CS-Conference Papers(학술회의논문)" by Author Si, Xujie
Showing results 1 to 2 of 2
| Continuously reasoning about programs using differential Bayesian inference Heo, Kihong; Raghothaman, Mukund; Si, Xujie; Naik, Mayur, 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, pp.561 - 575, Association for Computing Machinery, 2019-06-22 |
| Synthesizing datalog programs using numerical relaxation Si, Xujie; Raghothaman, Mukund; Heo, Kihong; Naik, Mayur, 28th International Joint Conference on Artificial Intelligence, IJCAI 2019, pp.6117 - 6124, International Joint Conferences on Artificial Intelligence, 2019-08-10 |
Discover
Type
- 102 Article
- 7,391 Conference
- 1 Thesis
Date issued
- 938 2020 - 2024
- 2,486 2010 - 2019
- 2,318 2000 - 2009
- 1,422 1990 - 1999
- 326 1980 - 1989