Institutional Repository

Browsing 1998 National Research and Development Conference by Title

Browsing 1998 National Research and Development Conference by Title

Sort by: Order: Results:

  • Cloete, E; Venter, LM (1998)
    In this paper we address the time complexity problem associated with fractal image coding. In particular, we describe a new hybrid technique called Fractal Vector Quantization coding (FVQ), which takes advantage of the ...
  • De Waal, DA; Hattingh, GN (1998)
    Given some first-order theory, a formula (also called a conjecture) may or may not be a theorem of some theory. A theorem prover attempting to prove that the given formula is a theorem may terminate, proving that the formula ...
  • Terblanche, F; Hattingh, G (1998)
    Response surface analysis aims of exploring the behavior of a response function in some region. Some authors (see e.g. [BRU] and [DEV]), have used this approach to get "better" interpretations of the behavior of linear ...
  • Papenfus, C; Botha, RA (1998)
    Modem computer systems are truly awe-inspiring fetes of detailed design. Millions of transistors perform billions of instructions every second, linking thousands of people from every continent with a remarkable degree ...
  • Machanick, P (1998)
    A commonly accepted hierarchy of cognitive skills puts analysis and synthesis near the top, with straightforward knowledge and comprehension at the bottom. A typical Computer Science curriculum, though, usually starts ...
  • Mueller, C (1998)
    Formal methods have not as yet succeeded in becoming an accepted way to develop software. This paper explores whether a possible reason for this is the complexity of the tools we use, in particular, the programming paradigms. ...

Search UnisaIR


Browse

My Account