Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. It has been suggested to decompose such a specification as a...
—Automatic white balance is an important function of digital still cameras. The goal of white balance is to adjust the image such that it looks as if it is taken under canonical ...
In applications such as fraud and intrusion detection, it is of great interest to measure the evolving trends in the data. We consider the problem of quantifying changes between tw...
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
The expansion of the World Wide Web and the use of computers in education have increased the demand for Web courses and, consequently, the need for systems that simplify their prod...