共 50 条
- [31] Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder INTERACTIVE THEOREM PROVING, PROCEEDINGS, 2010, 6172 : 131 - 146
- [32] SPECIFICATION AND VERIFICATION OF DIGITAL-SYSTEMS USING HIGHER-ORDER PREDICATE LOGIC IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1986, 133 (05): : 242 - 254
- [35] Object-oriented verification based on record subtyping in higher-order logic THEOREM PROVING IN HIGHER ORDER LOGICS, 1998, 1479 : 349 - 366
- [36] Scale invariant face detection method using higher-order local autocorrelation features extracted from log-polar image AUTOMATIC FACE AND GESTURE RECOGNITION - THIRD IEEE INTERNATIONAL CONFERENCE PROCEEDINGS, 1998, : 70 - 75
- [39] Modified higher-order neural network and design of the TSRI pattern recognition system Binggong Xuebao/Acta Armamentarii, 1997, 18 (03): : 273 - 277
- [40] ACOUSTIC SURVEILLANCE BASED ON HIGHER-ORDER LOCAL AUTO-CORRELATION 2011 IEEE INTERNATIONAL WORKSHOP ON MACHINE LEARNING FOR SIGNAL PROCESSING (MLSP), 2011,