Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions.
J. Strother MooreMarijn J. H. HeulePublished in: ARCADE@CADE (2017)
Keyphrases
- industrial applications
- lessons learned
- real world
- natural language learning
- open issues
- data structure
- face recognition
- technology transfer
- digital libraries
- relational databases
- probabilistic model
- application scenarios
- academia and industry
- open questions
- artificial intelligence
- quality improvement
- computational challenges
- databases
- industrial environment