共 50 条
- [31] Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
- [33] Symbolic model checking for probabilistic processes AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 : 430 - 440
- [34] Testing of symbolic-probabilistic systems FORMAL APPROACHES TO SOFTWARE TESTING, 2005, 3395 : 49 - 63
- [35] PROBABILISTIC PROCESSING AND THE SYMBOLIC DISTANCE EFFECT BULLETIN OF THE BRITISH PSYCHOLOGICAL SOCIETY, 1980, 33 (MAY): : 194 - 195
- [38] Feature selection on probabilistic symbolic objects Frontiers of Computer Science, 2014, 8 : 933 - 947
- [39] Efficient Symbolic Integration for Probabilistic Inference PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 5031 - 5037