Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS.
J. Christian AttiogbéPublished in: ICFEM (2002)
Keyphrases
- question answering
- theorem proving
- natural language processing
- wall street journal
- information extraction
- vector space
- formal verification
- database
- frequency domain
- deep knowledge
- timed automata
- relational databases
- multiscale
- digital images
- database systems
- genetic algorithm
- machine learning
- nonlinear dimensionality reduction