6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands

Published in: SSV (2012)

Keyphrases

expert systems
management system
social networks
multiscale
natural language
intelligent systems
information retrieval
learning algorithm
decision making
web pages
multimedia
multi agent
information technology
distributed systems
learning systems
lecture notes in artificial intelligence