Keyphrases
- semantic annotation
- image annotation
- metadata
- equational theories
- user generated
- theorem proving
- simulation model
- keywords
- multi modal
- theorem prover
- database systems
- inter annotator agreement
- numerical simulations
- video sequences
- multiscale
- simulation models
- manual annotation
- meta information
- modular structure
- neural network