Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications.

François Schwarzentruber

Published in: J. Log. Lang. Inf. (2015)

Keyphrases

region connection calculus
hand drawn
spatial information
differential equations
formal specification
real time
interactive learning
interactive video
databases
high level
user interaction
virtual reality
genetic algorithm
finite state machines
graphical representation
graphical representations
data sets