Sökt på: dissertation
Vi gjorde istället en sökning på titeln dissertation vilket gav totalt 14 träffar
Qualified Types
This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading. For example, qualified types can be viewed as a …
A Modular and Extensible Network Storage Architecture
Contemporary distributed file systems are monolithic and only support single file abstractions. Nowadays, network storage devices have to be able to accommodate new information …
A Compositional Approach to Performance Modelling
This is the first book presenting a stochastic extension of process algebra, PEPA; this is shown to be suitable for specifying a Markov process, which can then be applied to …
Modelling Auditory Processing and Organisation
We are surrounded by noise; we must be able to separate the signals we want to hear from those we do not. To overcome this 'cocktail party effect' we have developed various …
Affine Analysis of Image Sequences
Computer vision is a rapidly growing field which aims to make computers 'see' as effectively as humans. In this book Dr Shapiro presents a new computer vision framework for …
Qualified Types
This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading. For example, qualified types can be viewed as a …
The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot
There are two radically different approaches to robot navigation: the first is to use a map of the robot’s environment; the second uses a set of action reflexes to enable a robot …
Three-Dimensional Integrated Circuit Layout
The theory and design of integrated circuits has moved forward in leaps and bounds in recent years. This thesis concentrates upon the design of three-dimensional, rather than the …
Specification and Proof in Real Time CSP
This book was first published in 1993. Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft …
Efficient Algorithms for Listing Combinatorial Structures
First published in 1993, this thesis is concerned with the design of efficient algorithms for listing combinatorial structures. The research described here gives some answers to …