共 50 条
- [22] Lattice-Based Refinement in Bounded Model Checking VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, (VSTTE 2018), 2018, 11294 : 50 - 68
- [23] Lattice-Based Semantics for Combinatorial Model Evolution AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015, 2015, 9364 : 276 - 292
- [24] Improved Lattice-Based Signcryption in the Standard Model IEEE ACCESS, 2019, 7 : 155552 - 155562
- [26] Lightly Supervised Training for Risk-Based Discriminative Language Models 14TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION (INTERSPEECH 2013), VOLS 1-5, 2013, : 1212 - 1216
- [27] Improving Lightly Supervised Training for Broadcast Transcription 14TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION (INTERSPEECH 2013), VOLS 1-5, 2013, : 2186 - 2190
- [28] Lattice-based discriminative training for large vocabulary speech recognition 1996 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, CONFERENCE PROCEEDINGS, VOLS 1-6, 1996, : 605 - 608
- [29] Lattice-Based Training of Bottleneck Feature Extraction Neural Networks 14TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION (INTERSPEECH 2013), VOLS 1-5, 2013, : 89 - 93
- [30] Lattice-based cryptography ADVANCES IN CRYPTOLOGY - CRYPTO 2006, PROCEEDINGS, 2006, 4117 : 131 - 141