In this paper we present a comparative simulation study of three denoising algorithms using wavelets. The denoising algorithms (i.e., universal threshold, minimax threshold and ri...
M. C. E. Rosas-Orea, M. Hernandez-Diaz, Vicente Al...
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
There are many challenges in devising solutions for online content processing of live networked multimedia sessions. These include content analysis under uncertainty (evidence of ...
This paper describes the Differential Synchronization (DS) method for keeping documents synchronized. The key feature of DS is that it is simple and well suited for use in both no...
In order to maintain a reliable and economic electric power supply, the maintenance of power plants is becoming increasingly important. In this paper, a formulation that enables a...