共 50 条
- [41] ALGORITHMS FOR AUTOMATED PROTOCOL VERIFICATION AT&T TECHNICAL JOURNAL, 1990, 69 (01): : 32 - 44
- [46] Fire Detection Algorithms in Video Images for High and Large-span Space Structures PROCEEDINGS OF THE 2009 2ND INTERNATIONAL CONGRESS ON IMAGE AND SIGNAL PROCESSING, VOLS 1-9, 2009, : 2383 - 2387
- [50] Performance Analysis of Shooting Algorithms in Chance-Constrained Optimization 11TH INTERNATIONAL SYMPOSIUM ON PROCESS SYSTEMS ENGINEERING, PTS A AND B, 2012, 31 : 1512 - 1516