MAVEN: modular aspect verification and interference analysis.

Max Goldman Emilia Katz Shmuel Katz

Published in: Formal Methods Syst. Des. (2010)

Keyphrases

formal analysis
statistical analysis
learning algorithm
multi agent
information retrieval
search engine
social networks
feature selection
face recognition
digital libraries