17 search results - page 4 / 4 » Efficient Methods for Integrating Traceability and Broadcast... |
91
Voted
CSL
2010
Springer
14 years 12 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
LREC
2010
15 years 8 days ago
2010
Speech recognition technology suffers from a lack of robustness which limits its usability for fully automated speech-to-text transcription, and manual correction is generally req...