共 50 条
- [42] Probabilistic Symbolic Analysis of Neural Networks 2020 IEEE 31ST INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2020), 2020, : 148 - 159
- [43] PRISM: Probabilistic symbolic model checker COMPUTER PERFORMANCE EVALUATION: MODELLING TECHNIQUES AND TOOLS, 2002, 2324 : 200 - 204
- [44] Modeling of Symbolic Systems: Part I - Vector Space Representation of Probabilistic Finite State Automata 2011 AMERICAN CONTROL CONFERENCE, 2011, : 5133 - 5138
- [46] BayesLDM: A Domain-specific Modeling Language for Probabilistic Modeling of Longitudinal Data 2022 IEEE/ACM CONFERENCE ON CONNECTED HEALTH: APPLICATIONS, SYSTEMS AND ENGINEERING TECHNOLOGIES (CHASE 2022), 2022, : 78 - 90
- [48] Modeling and Querying Probabilistic RDFS Data Sets with Correlated Triples WEB TECHNOLOGIES AND APPLICATIONS, 2011, 6612 : 333 - +
- [50] QUANTIFICATION OF DATA EXTRACTION NOISE IN PROBABILISTIC BOOLEAN NETWORK MODELING 2009 IEEE INTERNATIONAL WORKSHOP ON GENOMIC SIGNAL PROCESSING AND STATISTICS (GENSIPS 2009), 2009, : 9 - +