Filteren
1
Sorteren
16 resultaten
Serie: Distinguished disser
PaperbackEngels9780521673532
30-6-2005
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 performance modelling. Meer
PaperbackEngels9780521349468
30-6-2011
This book was originally published in 1995. At the time of publication, distributed file systems were monolithic and only supported single file abstractions. Meer
PaperbackEngels9780521070072
31-7-2008
A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O), while at the same time being able to verify programs. Meer
GebondenEngels9780521551151
17-8-1995
This book was originally published in 1995. At the time of publication, distributed file systems were monolithic and only supported single file abstractions. Meer
PaperbackEngels9780521542159
18-9-2003
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 to react rapidly to local sensory information. Meer
PaperbackEngels9780521543262
16-10-2003
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 generalization of type classes in the functional language Haskell and the theorem prover Isabelle. Meer
PaperbackEngels9780521118163
6-8-2009
First published in 1991, this thesis concentrates upon the design of three-dimensional, rather than the traditional two-dimensional, circuits. The theory behind such circuits is presented in detail, together with experimental results. Meer
PaperbackEngels9780521619387
17-2-2005
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 strategies; endowing computers with similar abilities would enable the development of devices such as intelligent hearing aids and robust speech recognition systems. Meer
PaperbackEngels9780521607544
19-8-2004
Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. Meer
GebondenEngels9780521416306
28-11-1991
First published in 1991, this thesis concentrates upon the design of three-dimensional, rather than the traditional two-dimensional, circuits. The theory behind such circuits is presented in detail, together with experimental results. Meer
PaperbackEngels9780521117883
30-7-2009
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 the following questions: which families of combinatorial structures have fast computer algorithms for listing their members? Meer
GebondenEngels9780521450553
20-5-1993
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 for example, system failure could have disastrous consequences. Meer
GebondenEngels9780521450218
22-4-1993
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 the following questions: which families of combinatorial structures have fast computer algorithms for listing their members? Meer
PaperbackEngels9780521602778
25-3-2004
Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic account of the subject and studies mathematical structures suitable for modelling functional programming languages in an axiomatic (i. Meer
PaperbackEngels9781107403864
12-1-2012
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 for example, system failure could have disastrous consequences. Meer
PaperbackEngels9780521019781
15-9-2005
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 interpreting time-varying imagery. Meer