Login / Signup
Semantics of Directly Manipulating Spatializations.
Xinran Hu
Lauren Bradel
Dipayan Maiti
Leanna House
Chris North
Scotland Leman
Published in:
IEEE Trans. Vis. Comput. Graph. (2013)
Keyphrases
</>
database
real time
logic programming
default reasoning
neural network
decision making
multiscale
object oriented
conceptual model
formal semantics
argumentation frameworks
semantic representation
operational semantics
proof theory
logical language