共 50 条
- [1] Optimisation of networked control systems using model-based safety analysis techniques [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING, AND CONTROL, VOLS 1 AND 2, 2007, : 425 - 430
- [2] Efficient Anytime Techniques for Model-Based Safety Analysis [J]. COMPUTER AIDED VERIFICATION, PT I, 2015, 9206 : 603 - 621
- [3] Model-based camera calibration using analysis by synthesis techniques [J]. VISION MODELING, AND VISUALIZATION 2002, PROCEEDINGS, 2002, : 307 - 314
- [4] Probabilistic Model-Based Safety Analysis [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (28): : 114 - 128
- [6] AMBRA - Automated Model-Based Risk Analysis [J]. QOP'07: PROCEEDINGS OF THE 2007 ACM WORKSHOP ON QUALITY OF PROTECTION, 2007, : 43 - 48
- [7] On automated model-based extraction and analysis of gait [J]. SIXTH IEEE INTERNATIONAL CONFERENCE ON AUTOMATIC FACE AND GESTURE RECOGNITION, PROCEEDINGS, 2004, : 11 - 16
- [8] Debugging VHDL designs using model-based reasoning [J]. ARTIFICIAL INTELLIGENCE IN ENGINEERING, 2000, 14 (04): : 331 - 351
- [10] Adaptable model-based tracking using analysis-by- synthesis techniques [J]. COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS, 2007, 4673 : 20 - 27