Automated framework for formal operator task analysis.

Ayesha Yasmeen Elsa L. Gunter

Published in: ISSTA (2011)

Keyphrases

main contribution
neural network
real time
real world
case study
semi automatic
formal model
information retrieval
information systems
video sequences
digital libraries
data model
probabilistic model
software development
lightweight
computational model