Filter
Datavetenskap
Filter
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift …
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 …