Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators

Published in: Log. Methods Comput. Sci. (2009)

Keyphrases

human computer interaction
user interaction
data sets
databases
information retrieval
artificial neural networks
information seeking
neural network
search engine
image processing
case study
feature space
probabilistic model
multimodal interaction