Labeled @-Calculus: Formalism for Time-Concerned Human Factors.

Tetsuya Mizutani Shigeru Igarashi Yasuwo Ikeda Masayuki Shio

Published in: AISC (2006)

Keyphrases

human factors
formal language
human computer interaction
qualitative spatial reasoning
knowledge representation
qualitative spatial
training data
computational properties
transition systems
supervised learning
process algebra
conceptual graphs
feature selection
data points
cognitive style
user centred design