A semantically-derived subset of English for hardware verification.
Alexander HoltEwan KleinPublished in: ACL (1999)
Keyphrases
- natural language
- real time
- low cost
- hardware and software
- model checking
- image processing
- machine translation
- hardware designs
- cross language
- hardware implementation
- vlsi implementation
- hardware architecture
- english language
- hardware design
- circuit design
- answer questions
- computing power
- face verification
- cross lingual
- document collections
- feature selection
- machine learning