Ordinal regression has become an effective way of learning user preferences, but most of research only focuses on single regression problem. In this paper we introduce collaborati...
Shipeng Yu, Kai Yu, Volker Tresp, Hans-Peter Krieg...
This paper considers modelling spatially varying regression effects for multivariate mortality count outcomes. Alternative approaches to spatial regression heterogeneity are consi...
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
In the paper we propose a new evolutionary algorithm for induction of univariate regression trees that associate leaves with simple linear regression models. In contrast to typical...