Concurrent Small Progress Measures.

Michael Huth Jim Huan-Pu Kuo Nir Piterman

Published in: Haifa Verification Conference (2011)

Keyphrases

small number
genetic algorithm
information technology
evaluation measures
database
data sets
databases
machine learning
information retrieval
e learning
image processing
wide range
quantitative measures