Comparison of two temporal abstraction procedures: a case study in prediction from monitoring data.