This paper studies the aggregation of predictions made by tree-based models for several perturbed versions of the attribute vector of a test case. A closed-form approximation of t...
We are investigating methods to reduce partial volume effect (PVE) in medical images acquired as a series of thick slices, in particular Magnetic Resonance Imaging (MRI) of the hu...
We present the results of an experiment investigating the effects of a talking head's gaze behavior on the user's quality assessment of the interface. We compared a vers...
Ivo van Es, Dirk Heylen, Betsy van Dijk, Anton Nij...
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...
WiDom is a previously proposed prioritized medium access control protocol for wireless channels. We present a modification to this protocol in order to improve its reliability. Th...