Traditional methods for combining theory solvers rely on capabilities of the solvers to produce all implied equalities or a pre-processing step that introduces additional literals...
We compare the diagnostic accuracy of three diagnostic inference models: the simple Bayes model, the multimembership Bayes model, which is isomorphic to the parallel combination f...
Inspired by the recent interest in combining geometry with random graph models, we explore in this paper two generalizations of the random dot product graph model proposed by Kraet...
This paper describes the development and validation of a dynamic multi-agent model to simulate social learning of adolescence-limited criminal behaviour. The parameters of the age...
Tibor Bosse, Charlotte Gerritsen, Michel C. A. Kle...
We propose a general framework for simultaneous segmentation and modelling of signals based on an Equipartition Principle (EP). According to EP, the signal is divided into segment...