Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
In this paper, we present a video encoding scheme that uses object-based adaptation to deliver surveillance video to mobile devices. The method relies on a set of complementary vi...
Olivier Steiger, Touradj Ebrahimi, Andrea Cavallar...
Background: Analysis of complex samples with tandem mass spectrometry (MS/MS) has become routine in proteomic research. However, validation of database search results creates a bo...
A number of image quality metrics are based on psychophysical models of the human visual system. We propose a new framework for image quality assessment, gathering three indexes de...
Roland Brémond, Jean-Philippe Tarel, Eric Dumont...
Organisations that follow the CMM-road towards software process improvement tend to spend large amounts of money and effort. This is certainly the case in the company ING which le...
Rob J. Kusters, Jos J. M. Trienekens, Wilmar Hasso...