y was conducted by Cong Yu and Zhihong Yao. The abstract of the study is as follows: To enhance the readability, improve the structure, and facilitate the sharing of digital imag...
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
Organisations are becoming increasingly more reliant on leveraging their information and knowledge to gain competitive advantage. The creation, storage and dissemination of inform...
A new algorithm, based on area-deviation, is proposed for the detection of corner points of digitized curves. The algorithm consists of two steps. In the first step, a fixed-lengt...
I report briefly on some of my own work in each of these areas and elucidate some of the questions that this research has raised. Then I propose as a research agenda the developme...