Automated Result Verification with AWK.

Balkhis Abu Bakar Tomasz Janowski

Published in: ICECCS (2000)

Keyphrases

case study
model checking
semi automated
database
reinforcement learning
fully automated
real world
learning algorithm
search engine
e learning
three dimensional
medical images
computer aided
formal proof