共 50 条
- [21] Real-Time Speaker Verification System Implemented on Reconfigurable Hardware Journal of Signal Processing Systems, 2013, 71 : 89 - 103
- [22] Verification Method of Real-time System Based on Refinement Relation INTERNATIONAL JOURNAL OF GRID AND DISTRIBUTED COMPUTING, 2015, 8 (01): : 179 - 188
- [23] CONTOUR - A REAL-TIME MIDI SYSTEM BASED ON GESTURAL INPUT PROCEEDINGS : 1989 INTERNATIONAL COMPUTER MUSIC CONFERENCE, NOVEMBER 2-5, 1989, : 101 - 104
- [25] Real-Time System Modeling and Verification Through Labeled Transition System Analyzer IEEE ACCESS, 2019, 7 : 26314 - 26323
- [26] Face verification for real-time applications IMAGE UNDERSTANDING WORKSHOP, 1996 PROCEEDINGS, VOLS I AND II, 1996, : 747 - 756
- [27] An abstraction technique for real-time verification NEXT GENERATION DESIGN AND VERIFICATION METHODOLOGIES FOR DISTRIBUTED EMBEDDED CONTROL SYSTEMS, 2007, : 1 - +
- [29] Real-time speaker identification and verification IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, 2006, 14 (01): : 277 - 288
- [30] A simplification of a real-time verification problem SOFTWARE TESTING VERIFICATION & RELIABILITY, 2016, 26 (08): : 548 - 571