We present a system of refinement types for LF in the style of recent formulations where only canonical forms are well-typed. Both the usual LF rules and the rules for type refine...
—In this letter we point out that multilayer neural networks (MLP’s) with either sigmoidal units or radial basis functions can be given a canonical form with positive interunit...
This paper proposes a method recovering audio-visual synchronization of multimedia content. It exploits the correlation between the acoustic and the visual signals in order to est...
In this paper, we apply a multiple regression method based on Canonical Correlation Analysis (CCA) to face data modelling. CCA is a factor analysis method which exploits the corre...
Michael Reiter, Rene Donner, Georg Langs, Horst Bi...
We present a data-driven approach for target detection and identification based on a linear mixture model. Our aim is to determine the existence of certain targets in a mixture w...