Ludics with Repetitions (Exponentials, Interactive Types and Completeness).

Michele Basaldella Claudia Faggian

Published in: LICS (2009)

Keyphrases

graphical interface
real time
wide range
user interaction
user friendly
knowledge base
image segmentation
multiscale
video sequences
mobile devices
probabilistic model
logic programs
computer graphics
data quality
highly interactive