Parametrised Modal Interface Automata.

Antti Siirtola Keijo Heljanko

Published in: ACM Trans. Embed. Comput. Syst. (2015)

Keyphrases

modal logic
cellular automata
user friendly
natural language interface
finite automata
visual interface
databases
artificial intelligence
human computer interface
information retrieval
tree automata
direct manipulation