Modeling Interaction by Sheaves and Geometric Logic.

Viorica Sofronie-Stokkermans Karel Stokkermans

Published in: FCT (1999)

Keyphrases

human computer interaction
real time
information retrieval
case study
data sets
website
logic programs
modeling method
automated reasoning
interaction model
image based modeling