C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties.
Virgile Robles
Nikolai Kosmatov
Virgile Prevosto
Louis Rilling
Pascale Le Gall
Published in:
TAP@FM (2019)
Keyphrases
</>
high level
low level
desirable properties
semantic annotation
real world
genetic algorithm
data sets
metadata
topological properties
test set
higher level
software engineering
image features
artificial neural networks
relational databases
keywords
bayesian networks
training data
web pages