Based on scaling laws describing the statistical structure
of turbulent motion across scales, we propose a multiscale
and non-parametric regularizer for optic-flow estimation.
R...
Patrick H´eas, Etienne M´emin, Dominique Heitz, ...
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
In this work we propose an approach to binary classification based on an extension of Bayes Point Machines. Particularly, we take into account the whole set of hypotheses that are...
The need for Bayesian inference arises in military intelligence, medical diagnosis and many other practical applications. The problem is that human inferences are generally conserv...
This paper presents an algorithm designed to compute the perceived interest of objects in images. We measured likelihood functions via a psychophysical experiment in which subject...