In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our app...
Albert Benveniste, Stefan Haar, Eric Fabre, Claude...
We propose a new variational method to restore point-like and curvelike singularities in 2-D images. As points and open curves are fine structures, they are difficult to restore...
In this note, we propose a method to perform segmentation on the tensor manifold, that is, the space of positive definite matrices of given dimension. In this work, we explicitly ...
Yogesh Rathi, Allen Tannenbaum, Oleg V. Michailovi...
We introduce standardised building blocks designed to be used with variational Bayesian learning. The blocks include Gaussian variables, summation, multiplication, nonlinearity, a...
Tapani Raiko, Harri Valpola, Markus Harva, Juha Ka...