We are not only in a new millennium but also a new era. A variety of terms such as the Post-Industrial Era (Huber, 1990), the Information Age (Shapiro et al, 1999), the Third Wave...
Wavelet domain statistical modeling of images has focused on modeling the peaked heavy-tailed behavior of the marginal distribution and on modeling the dependencies between coeffi...
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
The paper presents the main findings of the ELeGI project, namely its learning model and software architecture to support the creation and execution of complex learning processes....
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...