QA75 Electronic computers. Computer science

Subject

Browse all works related to QA75 Electronic computers. Computer science.

"460" Result

Agent systems have been accepted and used advantageously by computer scientists since their inception, but such systems have not been used so readily within the realms of control engineering or robotics. The work contained within this thesis investigates separated spacecraft int…

The measurement of chemical concentrations within the oceans is crucial for our understanding of its biogeochemical processes. Such data is vital for; studies of climate and environment change; natural resource management; assessment of pollution, human impact and biodiversity. …

UML-B is a UML-like graphical front end for Event-B that provides support for object- oriented modelling concepts. In particular, UML-B supports class diagrams and state machines, concepts that are not explicitly supported in plain Event-B. In Event-B, refinement is used to rela…

One of the main challenges Information Retrieval (IR) systems face nowadays originates from the semantic gap problem: the semantic difference between a user’s query representation and the internal representation of an information item in a collection. The gap is further widened …

With the advent of the information technology, the amount of data we are facing today is growing in both the scale and the dimensionality dramatically. It thus raises new challenges for some traditional machine learning tasks. This thesis is mainly concerned with manifold aligne…

Gait and face biometrics have a unique advantage in that they can be used when images are acquired at a distance and signals are at too low a resolution to be perceived by other biometrics. Given such situations, some traits can be difficult to extract automatically but can stil…