—In this paper, we propose the volume between two surfaces normalized by the surface area (interpreted as average distance between two surfaces) as an invariant quantitative meas...
We give a semantic account of the execution time (i.e. the number of cut elimination steps leading to the normal form) of an untyped MELL net. We first prove that: 1) a net is he...
Daniel de Carvalho, Michele Pagani, Lorenzo Tortor...
"The Discrete Fourier Transform (DFT) can be understood as a numerical approximation to the Fourier transform. However, the DFT has its own exact Fourier theory, which is the ...
We propose a technique for cheap and efficient acquisition of mesostructure normal maps from specularities, which only requires a simple LCD monitor and a digital camera. Coded il...
Yannick Francken, Tom Cuypers, Tom Mertens, Jo Gie...
We present a comparison of several face representation methods from the point of view of their sensitivity to illumination changes. The sensitivity is measured in terms of the ove...
Eduardo Garea Llano, Heydi Mendez Vazquez, Josef K...