We present a technique that provides progressive transmission and near-lossless compression in one single framework. The proposed technique produces a bitstream that results in pr...
This paper addresses multidimensional tuning parameter selection in the context of "train-validate-test" and K-fold cross validation. A coarse grid search over tuning pa...
When building Hypermedia/Web Applications, (different) designers are often faced with the same problems over and over again. Those recurring problems soon yield elegant solutions,...
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
Motion estimation (ME) methods based on differential techniques provide useful information for video analysis, and moreover it is relatively easy to embed into them regularity con...
Marco Cagnazzo, Wided Miled, Thomas Maugey, B&eacu...