Sciweavers

3228 search results - page 323 / 646
» Computationally Sound Proofs
Sort
View
POPL
2012
ACM
13 years 11 months ago
Probabilistic relational reasoning for differential privacy
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
Gilles Barthe, Boris Köpf, Federico Olmedo, S...
CVPR
2008
IEEE
16 years 6 months ago
Cost-sensitive face recognition
Traditional face recognition systems attempt to achieve a high recognition accuracy, which implicitly assumes that the losses of all misclassifications are the same. However, in m...
Yin Zhang, Zhi-Hua Zhou
ECCV
2006
Springer
16 years 6 months ago
A Fluid Motion Estimator for Schlieren Image Velocimetry
Abstract. In this paper, we address the problem of estimating the motion of fluid flows that are visualized through a Schlieren system. Such a system is well known in fluid mechani...
Étienne Mémin, Elise Arnaud, Guiller...
ICPR
2008
IEEE
16 years 5 months ago
Detecting trends in social bookmarking systems using a probabilistic generative model and smoothing
We propose a method for the detection of trends in social bookmarking systems. Compared to other work in this emerging field, our approach has a more sound statistical basis. In o...
Alexander Korth, Christian Bauckhage, Florian Metz...
ICPR
2006
IEEE
16 years 5 months ago
Unifying Background Models over Complex Audio using Entropy
In this paper we extend an existing audio background modelling technique, leading to a more robust application to complex audio environments. The determination of background audio...
Geoff A. W. West, Simon Moncrieff, Svetha Venkates...