Institutional Repository

Browsing South African Computer Journal 1998(21) by Type "Article"

Browsing South African Computer Journal 1998(21) by Type "Article"

Sort by: Order: Results:

  • Applied Lambda calculus. Using a type theory based proof assistant 
    Pretorius, L (South African Computer Society (SAICSIT), 1998)
    We introduce a number of typed lambda calculi, show how type theory may be used as basis for a proof assistant, and illustrate this with the Coq proof assistant.
  • Changes in entry-level university students' attitudes to computers from 1985 to 1997 
    Clarke, MC; Finnie, GR (South African Computer Society (SAICSIT), 1998)
    A modified version of Lee's instrument for measuring attitudes to computers was administered to two groups of first-year university students separated by a period of twelve years. Factor analysis was applied to these two ...
  • Fractal image compression 
    Cloete, E; Venter, LM (South African Computer Society (SAICSIT), 1998)
    Conventional image compression strategies present a number of uncomfortable limitations. Many of the impediments can be overcome by Fractal Image Compression (FIC). FIC is rooted strongly in mathematics. In comparison to ...
  • A performance analyser for the numerical solution of general Markov chains 
    Knottenbelt, W; Kritzinger, P (South African Computer Society (SAICSIT), 1998)
    Despite many advances in queueing theory and other modelling paradigms, one persistenty discovers real life stochastic systems which do not yield neatly to existing methods for their performance analysis. In most such ...
  • Preliminary investigation of the RAMpage memory hierarchy 
    Machanick, P; Salverda, P (South African Computer Society (SAICSIT), 1998)
    The RAMpage memory hierarchy addresses the growing concern about the memory wall - the possibility that the CPU­-DRAM speed gap will ultimately limit the benefits of rapid improvement in CPU speed. Reducing references to ...
  • Recursive specifications and formal logic. What benefits for intelligent tutoring systems? 
    Tcheeko, L (South African Computer Society (SAICSIT), 1998)
    The pedagogical assessment of a tutoring system relies upon a proof of convergence: for such a tutor the correction of student mistakes must not forever delay the teaching process. Such a tutor must provide uniform diagnosis ...
  • Specific acquisition of collective belief knowledge for socially motivated multiagent systems 
    Ram, V (South African Computer Society (SAICSIT), 1998)
    Shared beliefs and knowledge are an integral part of an organisation's identity and a prerequisite for collective func­tioning. Multiagent systems that support or emulate cooperative problem solving in such a context cannot ...
  • Text categorization as an information retrieval task 
    Paijmans, H (South African Computer Society (SAICSIT), 1998)
    A number of methods for feature reduction and feature selection in text classification and information retrieval systems are compared. These include feature sets that are constructed by Latent Semantic Indexing, 'local ...

Search UnisaIR


Browse

My Account