Expander2: Program Verification Between Interaction and Automation.

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

human computer interaction
user interaction
machine learning
artificial intelligence
search algorithm
multi agent systems
trade off
multiresolution
human interaction
human robot interaction
human operators
multimodal interaction