The Common Criteria (CC) for Information Technology Security Evaluation provides comprehensive guidelines for the evaluation and certification of IT security regarding data securit...
Andreas Ekelhart, Stefan Fenz, Gernot Goluch, Edga...
Segmentation involves separating distinct regions in an image. In this note, we present a novel variational approach to perform this task. We propose an energy functional that nat...
Samuel Dambreville, Marc Niethammer, Anthony J. Ye...
A configuration with heterogeneous sensors using different measurement approaches most likely overcome the problem of correlated measurement errors as they occur when employing a ...
We introduce mCP nets, an extension of the CP net formalism to model and handle the qualitative and conditional preferences of multiple agents. We give a number of different seman...
Francesca Rossi, Kristen Brent Venable, Toby Walsh
From a computational perspective, there is a close connection between various probabilistic reasoning tasks and the problem of counting or sampling satisfying assignments of a pro...