South African Computer Journal (SACJ): Recent submissions

  • Discriminators for authorship attribution 
    Paijmans, H (South African Computer Society (SAICSIT), 1999)
    This paper describes some experiments with the automated attribution of authorship. Lexical cohesion in combination with machine learning techniques are used as a method to compare texts of different authors. A methodology ...
  • Connected digit recognition in Afrikaans using hidden Markov models 
    Nieuwoudt, C; Botha, EC (South African Computer Society (SAICSIT), 1999)
    We implement and evaluate the performance of a state-of-the-art connected digit recognition system for spoken Afrikaans digits. The creation of a database for our purpose is discussed. Results indicate that an efficient ...
  • Electronic performance support systems: appropriate technology for the development of middle management in developing countries 
    Cronje, JC; Baras Baker, SJ (South African Computer Society (SAICSIT), 1999)
    The shortage of suitably qualified middle management in South Africa, and its impact on the potential success of the RDP is well documented. There are various ways of addressing this problem. These methods range from ...
  • A declarative and non-determinist framework for dynamic object-oriented and constraint logic programming 
    Abdulrab, H; Ngomo, M; Drissi-Talbi, A (South African Computer Society (SAICSIT), 1999)
    LOP (Logic, Object, Parallelism) is a system that integrates object-oriented and constraint logic programming. It is entirely designed and implemented, using object-oriented methodology, under the form of hierarchical ...
  • Heuristics for resolution-based set-theoretic proofs 
    Van der Poll, JA; Labuschagne, WA (South African Computer Society (SAICSIT), 1999)
    A formal specification language like Z permits the specifier to construct proofs which corroborate the aptness of the spec­ification. This process may be facilitated by establishing a partnership between the specifier and ...
  • pGCL: formal reasoning for random algorithms 
    Morgan, C; McI, A (South African Computer Society (SAICSIT), 1998)
    Dijkstra's guarded-command language GCL contains explicit 'demonic' nondeterminism, representing abstraction from (or ignorance of ) which of two program fragments will be executed. We introduce probabilistic nondeterminism ...
  • A logic for the design of multiprogramming systems 
    Misra, J (South African Computer Society (SAICSIT), 1998)
    This paper presents a short introduction to the UNITY logic, a fragment of linear temporal logic. The logic was designed to specify safety and progress properties of reactive systems. A version of the UNITY ...
  • Problem analysis using small problem frames 
    Jackson, MA (South African Computer Society (SAICSIT), 1998)
    The notion of a problem frame is introduced and explained, and its use in analysing and structuring problems is illustrated. A problem frame characterises a class of simple problem. Realistic problems are seen as compositions ...
  • Teaching math more effectively, through the design of calculational proofs 
    Gries, D; Schneider, FB (South African Computer Society (SAICSIT), 1998)
  • Where do software architectures come from? Systematic development from domains and requirements. A re-assessment of software engineering? 
    Bjorner, D (South African Computer Society (SAICSIT), 1998)
    In this paper we show how details of a software design emerges in two steps: software architecture and program organisation and from first having established careful descriptions of the application domain and of functional ...
  • 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 ...
  • 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.
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • The abstraction-first approach to encouraging reuse 
    Machanick, Philip (South African Computer Society (SAICSIT), 1997)
    Experience in industry suggests that reuse does not happen without retraining, despite the fact that many experienced software engineers accept that reuse ought to be more efficient than coding from scratch. A possible ...
  • Applying software engineering methods to instructional systems development 
    Kotze, P; De Villiers, R (South African Computer Society (SAICSIT), 1997)
    The research reported in this paper aims to integrate software engineering approaches with instructional factors in the requirements analysis, design and production phases of instructional software development. The integration ...

Search UnisaIR


Browse

My Account