Context conditions - also called static semantics - are the constraints on computer programs that cannot be reasonably expressed by a context-free grammar, but that can be statically checked without considering the execution ...

This thesis concentrates on several important issues in expert system research, namely - representation of knowledge - control of reasoning - implementation of non-monotonic logics via truth maintenance systems. There are ...

This paper presents preliminary work on the segmentation of Computed Tomography data using a model-based approach. Conventional image processing of CT data is aimed at the production of simple iso-surfaces for surgical ...

A graphical language is developed as a generalization of the structured flowcharts proposed by Nessi and Shneiderman. This language can be used in the specification of procedures, procedure interfaces and data structures. ...

The number of disasters that occur in underground mine environments monthly all over the world cannot be ignored. Some of these disasters for instance are roof-falls; explosions, toxic gas inhalation, in-mine vehicle ...

Most mobile applications are not designed for visually impaired people. The concept of universal design is not adopted by most application developers. Therefore, interaction between a visually impaired user and the mobile ...

The larger population of South African learners do not learn effectively and struggle with low academic achievements currently. This can be attributed to various factors such as frequent changes in the curriculum, ...

Security Information and Event Management (SIEM) technology supports security threat detection and response through real-time and historical analysis of security events from a range of data sources. Through the retrieval ...

The next-generation of radio interferometer arrays - the proposed Square Kilometre Array (SKA) and its precursor instruments, The Karoo Array Telescope (MeerKAT) and Australian Square Kilometre Path finder (ASKAP) - will ...

BACKGROUND: Centralised resources such as GenBank and UniProt are perfect examples of the major international efforts that have been made to integrate and share biological information. However, additional data that adds ...

This paper revisits the problem of Quality of Service (QoS) provisioning to assess the relevance of using multipath routing to improve the reliability and packet delivery in wireless sensor networks while maintaining lower ...

This dissertation researches current approaches to photo sharing. We have found that most current methods of photo sharing are not as compelling as traditional photo sharing - with the increasing in popularity of digital ...

We designed and developed a Collaborative Annotation System for Proteins called DAS Writeback, which extends the Distributed Annotation System (DAS) to provide the functionalities of adding, editing and deleting annotations. ...

Stock market trading has garnered much interest over the past few decades as it has been made easier for the general public to trade. It is certainly an avenue for wealth growth, but like all risky undertakings, it must ...

The digital divide is largely seen as the main problem that developing economies and societies must overcome to gain economic productivity and social welfare. In this document we state that modern western perception of the ...

The preferred method of communication amongst Deaf people is that of sign language. There are problems with the video quality when using the real-time video communication available on mobile phones. The alternative is to ...

This work revolves around the design and evaluation of digital storytelling simulating real personal storytelling. Study One was an ethnography, of real storytellers, which revealed types of narratives, dynamism and ...

The challenge of parking management has increasingly posed the need for smart solutions. Motorists in today's busy world seek the best option in locating available parking points. The need for an efficient parking system ...

This text responds to the increasing demand for frameworks to support the design and evaluation of virtual worlds which are effective in their particular learning context by developing, a meta-theoretical framework for ...

In the past decade the cost of computing has come down considerably making high-powered computing more easily affordable. As a result many institutions and organisations now have networks of high-powered workstations. Such ...