Verifying Reliability Properties Using the Hyperball Abstract Domain.

Jacob Lidman Sally A. McKee

Published in: ACM Trans. Program. Lang. Syst. (2018)

Keyphrases

domain independent
data sets
databases
database
multimedia
image sequences
domain specific
domain experts
domain ontology
desirable properties
blocks world
information retrieval
computer vision
domain knowledge
cross domain