共 50 条
- [1] Probabilistic fusion of gait features for biometric verification 2005 7TH INTERNATIONAL CONFERENCE ON INFORMATION FUSION (FUSION), VOLS 1 AND 2, 2005, : 1211 - 1217
- [2] Probabilistic combination of static and dynamic gait features for verification BIOMETRIC TECHNOLOGY FOR HUMAN IDENTIFICATION II, 2005, 5779 : 23 - 30
- [3] 1 Verification of the walking gait generation algorithms using branch and bound methods RECENT ADVANCES IN MECHATRONICS, 2007, : 151 - +
- [4] Verification of Design Procedures of Structural Stability using Probabilistic Methods of Reliability Analysis NUMERICAL ANALYSIS AND APPLIED MATHEMATICS (ICNAAM 2012), VOLS A AND B, 2012, 1479 : 2082 - 2085
- [5] Deductive probabilistic verification methods for embedded and ubiquitous computing EMBEDDED AND UBIQUITOUS COMPUTING, PROCEEDINGS, 2004, 3207 : 183 - 195
- [7] Probabilistic modelling and verification using RoboChart and PRISM Software and Systems Modeling, 2022, 21 : 667 - 716
- [8] Using Probabilistic Kleene algebra for protocol verification RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2006, 4136 : 296 - 310
- [10] Probabilistic modelling and verification using RoboChart and PRISM SOFTWARE AND SYSTEMS MODELING, 2022, 21 (02): : 667 - 716