Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
David N. Jansen, Joost-Pieter Katoen, Marcel Olden...
In this paper, the problem of face authentication using salient facial features together with statistical generative models is adressed. Actually, classical generative models, and ...
Many context- and location-aware applications request high accuracy and availability of positioning systems. In reality however, knowledge about the current position may be incompl...
Abstract. Outlier detection has recently become an important problem in many industrial and financial applications. In this paper, a novel unsupervised algorithm for outlier detec...
Longin Jan Latecki, Aleksandar Lazarevic, Dragolju...
A relevance filter is proposed which removes features based on the mutual information between class labels and features. It is proven that both feature independence and class condi...