Keyphrases
- natural language processing
- formal verification
- information systems
- theorem proving
- formal semantics
- neural network
- artificial intelligence
- face recognition
- database
- search algorithm
- support vector
- design principles
- xml schema
- information technology
- digital libraries
- objective function
- image processing
- data sets
- real time