Data Mining and Knowledge Discovery: Theory, Tools, and Technology