Survey of annotation generators for deductive verifiers.
Sophie LathouwersMarieke HuismanPublished in: J. Syst. Softw. (2024)
Keyphrases
- automatic annotation
- semantic annotation
- object oriented
- cross sectional
- metadata
- data sets
- automatic indexing
- active learning
- image annotation
- literature review
- automatic image annotation
- abductive inference
- annotation tool
- manual annotation
- smart card
- training data
- information systems
- artificial intelligence
- information retrieval