– In this paper we present a new approach to benchmark the performance of shared memory systems. This approach focuses on recognizing how far off the performance of a given memor...
Boosting based detection methods have successfully been used for robust detection of faces and pedestrians. However, a very large amount of labeled examples are required for train...
This study examines the prediction of print defect perception (banding) of the human visual system (HVS) by combining detection probabilities of contrast components from wavelet a...
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...
Daniel Kroening, Natasha Sharygina, Stefano Tonett...
In this paper we propose to include two up-to-date separate concepts, namely social computing and usability metrics, in intelligent interaction agents to enhance a user-centred, ad...