Interactive Mapping Specification with Exemplar Tuples.

Angela Bonifati Ugo Comignani Emmanuel Coquery Romuald Thion

Published in: SIGMOD Conference (2017)

Keyphrases

ims qti
virtual reality
user defined
computer graphics
computer vision
high level
data streams
training set
social networks
interactive learning
user interaction
database
data visualization
formal specification
specification language
ontology mapping
formal verification
provably correct
information retrieval