Proceedings International Workshop on Verification of Infinite-State Systems, INFINITY 2009, Bologna, Italy, 31th August 2009.

Published in: INFINITY (2009)

Keyphrases

international workshop
domain driven data mining
lecture notes in artificial intelligence
pacific rim
revised selected papers
selected papers
acm sigkdd
special issue
international conference
machine learning
knowledge discovery and data mining
expert systems
information technology
pattern mining