Browsing South African Computer Journal 1990(1) by Title

Now showing items 7-8 of 8

Programming using induction

Mueller, C.S.M. (South African Institute of Computer Scientists and Information Technologists, 1990)

Induction has been used as a major tool in mathematics in proving theorems. This paper explores whether it has an equally important role in formulating programs. There are those who advocate that induction should be used ...
The use of a lattice for fast pattern matching

Oosthuizen, GD (South African Institute of Computer Scientists and Information Technologists, 1990)

Pattern recognition involves the matching of a given pattern against a collection of patterns in store in order to identify the given pattern as belonging to a particular class already known to the system or not. Similarly, ...

Search UnisaIR