Asynchronous User Interaction and Tool Integration in Isabelle/PIDE.

Makarius Wenzel

Published in: ITP (2014)

Keyphrases

user interaction
user behavior
user feedback
user experience
user interface
user input
user studies
interactive segmentation
data integration
interactive image segmentation
web pages
object oriented
markov random field
user model