共 50 条
- [41] Stochastic Conformance Checking Based on Expected Subtrace Frequency 2024 6TH INTERNATIONAL CONFERENCE ON PROCESS MINING, ICPM, 2024, : 73 - 80
- [42] Computer-based structural design and conformance checking Structural Engineer, 2000, 78 (03): : 21 - 24
- [45] Model checking conformance with scenario-based specifications COMPUTER AIDED VERIFICATION, 2003, 2725 : 328 - 340
- [47] Compositional specification and analysis of cost-based properties in probabilistic programs FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 107 - 122
- [48] Cost-based feature subset selection for interactive image analysis 15TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 2, PROCEEDINGS: PATTERN RECOGNITION AND NEURAL NETWORKS, 2000, : 386 - 389