## Search

Now showing items 1-10 of 10

#### Formal specification and verification of safety interlock systems: A comparative case study

(Stellenbosch : University of Stellenbosch, 2007-12)

The ever-increasing reliance of society on computer systems has led to a need for highly reliable
systems. There are a number of areas where computer systems perform critical functions and
the development of such systems ...

#### Explicit class field theory for rational function fields

(Stellenbosch : Stellenbosch University, 2008-12)

Class field theory describes the abelian extensions of a given field K in terms of various
class groups of K, and can be viewed as one of the great successes of 20th century
number theory. However, the main results in ...

#### On the analysis of refinable functions with respect to mask factorisation, regularity and corresponding subdivision convergence

(Stellenbosch : University of Stellenbosch, 2007-12)

We study refinable functions where the dilation factor is not always assumed to be 2. In
our investigation, the role of convolutions and refinable step functions is emphasized as a
framework for understanding various ...

#### Background subtraction algorithms for a video based system

(Stellenbosch : University of Stellenbosch, 2009-12)

ENGLISH ABSTRACT: To reliably classify parts of an image sequence as foreground or background
is an important part of many computer vision systems, such as video surveillance,
tracking and robotics. It can also be important ...

#### The discrete pulse transform and applications

(Stellenbosch : University of Stellenbosch, 2007-03)

Data analysis frequently involves the extraction (i.e. recognition) of parts that are important
at the expense of parts that are deemed unimportant. Many mathematical perspectives
exist for performing these separations, ...

#### Studies on factoring polynomials over global fields

(Stellenbosch : University of Stellenbosch, 2007-12)

In this thesis, we surveyed the most important methods for factorization of polynomials over a global
field, focusing on their strengths and showing their most striking disadvantages. The algorithms we
have selected are ...

#### Fast generation of digitally reconstructed radiographs for use in 2D-3D image registration

(Stellenbosch : Stellenbosch University, 2008-12)

A novel implementation exploiting modern hardware is explored and found to be a significant improvement over current methods used. A 50 times performance increase in the computation time of DRRs is achieved over the ...

#### An embodied conversational agent with autistic behaviour

(Stellenbosch : Stellenbosch University, 2012-03)

ENGLISH ABSTRACT: In this thesis we describe the creation of an embodied conversational agent which
exhibits the behavioural traits of a child who has Asperger Syndrome. The agent is
rule-based, rather than arti cially ...

#### A categorical study of compactness via closure

(Stellenbosch : Stellenbosch University, 2009-03)

We have the familiar Kuratowski-Mr owka theorem in topology, where
compactness is characterised by a closure and a projection-map (X is compact
i p : X Y ! Y is a closed mapping, for any space Y , i.e. p(A) = p(A)
A ...

#### Regulated rewriting in formal language theory

(Stellenbosch : University of Stellenbosch, 2008-03)

Context-free grammars are well-studied and well-behaved in terms of decidability, but many
real-world problems cannot be described with context-free grammars. Grammars with regulated
rewriting are grammars with mechanisms ...