Institutional Repository

Browsing SAICSIT Digital Archive by Title

Browsing SAICSIT Digital Archive by Title

Sort by: Order: Results:

  • QUAESTIONES INFORMATICAE VOL 4 
    SAICSIT (1986-01)
  • QUAESTIONES INFORMATICAE VOL 5 
    Unknown author (SAICSIT, 1987-04-01)
  • QUAESTIONES INFORMATICAE VOL 6 
    SAICSIT (SAICSIT, 1988-05)
  • Qualitative reasoning: an introduction 
    Bradshaw, J (South African Computer Society (SAICSIT), 1992)
    This paper serves as an introduction to the areas of qualitative reasoning. The three main streams of qualitative reasoning are described: the component centered approach, the process centered approach and the constraint ...
  • Quality academic development of CS/IS infrastructure in South Africa 
    Masethe, HD; Dandadzi, TA (1998)
    A change in the Strategic Infrastructure Development (SID) approach is called for in order to build academic quality. In the past the Information System (IS) infrastructure in South Africa was designed towards literacy ...
  • Quality aspects of the development of a rule-based architecture 
    Chalmers, C (1998)
    This paper provides an insight into how the various quality requirements defined for a specific tool are met in its development cycle. Focus is on a specific subset of the rule-based architecture project, which covers the ...
  • A quality assurance reference model for object-orientation 
    Thornton, DM; Steenkamp, AL (1995)
    Software quality assurance for object-oriented information systems development is the issue dealt with here. A Quality Assurance Reference Model is proposed based on the Revised Spiral Life Cycle Model. The Quality Assurance ...
  • Quality considerations of real time access to multidimensional matrices 
    Janssen, F (1998)
    This paper investigates the quality considerations of real time access to multidimensional matrices. Researchers have emphasised the relationship between multidimensional matrices and data warehousing in the past; the ...
  • Quality learning, learning quality 
    Van Zyl, J (1998)
    The purpose of this paper is to describe the Leaming Model and related concepts. In the context of this paper, the following principles are discussed: • What do we need to learn? • How must we learn it? These two ...
  • Quantifier elimination in second order predicate logic 
    Gabbay, D; Ohlbach, HJ (South African Computer Society (SAICSIT), 1992)
    An algorithm is presented which eliminates second-order quantifiers over predicate variables in formulae of type 3Pi , ...,Pn 1/; where 1/J is an arbitrary formula of first-order predicate logic. The resulting formula is ...
  • Quo Vadis, Computer Science? 
    MacGregor, K.J. (Computer Society of South Africa (on behalf of SAICSIT), 1985)
    The discipline of Computer Science has been established for almost twenty years. In SOUTH AFRICA, Computer Science Departments have been in existence for fifteen years, and producing graduates for twelve, however, the ...
  • Random context structure grammars 
    Ehlers, E.M.; von Solms, S. H. (Computer Society of South Africa (on behalf of SAICSIT), 1987)
    Random Context Structure Grammars are defined. The language generated by a Random Context Structure Grammar is a set of three-dimensional digital structures. A hierarchy of Random Context Grammars is discussed briefly. ...
  • Rank-one update of Cholesky factorization 
    Ntlatlapa, N (1995)
    Symmetric positive definite matrices appear in most methods for Unconstrained Optimization. The method widely adopted for factoring these matrices is Cholesky Factorization. Furthermore, in Quassi-Newton methods for ...
  • Ranking information system problems in a user environment 
    Bruwer, P.J.S. (Computer Society of South Africa (on behalf of SAICSIT), 1988)
    In a previous research project (Bruwer [ 1 J) a methodology to identify information system problems from a user point of view, was presented. This methodology was also illustrated by means of empirical data collected ...
  • Ray guarding configurations of adjacent rectangles 
    Sanders, I; Lubinsky, D; Sears, M (2000)
    Guarding and covering problems have great importance in Computational Geometry. In this paper the notion of a ray guard, a guard that can only 'see' along a single ray, is introduced. The problem of siting the fewest ...
  • Real-time control the system model - a holistic approach to system design 
    Considine, TN (1996)
    The Real-time Control System Model is a system design methodology which provides robust systems based on Object technology. The paper will detail the components of the model including the control layers and the time-based ...
  • Real-time facial animation for virtual characters 
    Burford, DJ; Blake, EH (2001)
    Facial expressions form an important part of human to human communication. In order to exploit the fall potential of computer networks and the Internet for communication and interaction, provision should be made for conveying ...
  • Real-Time Interactive Multiprogramming 
    Heher, A. D. (Computer Society of South Africa (on behalf of SAICSIT), 1979)
    This paper is concerned with the problems of interactive computing when multiple real-time tasks are involved. The interactive facilities which can be provided are described and some of the important software engineering ...
  • Real-time performance of OPC in a feedback system 
    Kew, SJ; Dwolatzky, B (2001)
    "OPC" is an important new specification designed to solve interoperability problems in the process control environment. It is based on Microsoft's Component Object Model (COM). The paper surveys and describes the OPC ...
  • Reasoning about changing information 
    Blackburn, P; Jaspars, J; De Rijke, M (South African Computer Society (SAICSIT), 1997)
    The purpose of these notes is two fold: (i) to give a reasonably self-contained introduction to a particular approach to theory change, known as the Alchourron-Gardenfors-Makinson (AGM) approach, and to discuss some of the ...

Search UnisaIR


Browse

My Account