Annotation Inference for Separation Logic Based Verifiers.
Frédéric VogelsBart JacobsFrank PiessensJan SmansPublished in: FMOODS/FORTE (2011)
Keyphrases
- active learning
- semantic annotation
- probabilistic inference
- bayesian inference
- metadata
- annotation tool
- databases
- inference mechanism
- video annotation
- automatic image annotation
- knowledge representation
- image retrieval
- artificial intelligence
- information extraction
- training data
- inference engine
- high level
- automatic annotation
- multimedia
- manual annotation
- automatic indexing
- neural network