Distinguished Dissertations in Computer Science – serie
Visar alla böcker i serien Distinguished Dissertations in Computer Science. Handla med fri frakt och snabb leverans.
16 produkter
Affine Analysis of Image Sequences
Häftad, 2005
667 kr
Lägg i varukorg
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. This is an important task, since movement reveals valuable information about the …
Functional Programming and Input/Output
Häftad, 2008
687 kr
Lägg i varukorg
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. Here, the author shows how a …
Efficient Algorithms for Listing Combinatorial Structures
Häftad, 2009
667 kr
Lägg i varukorg
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 …
Three-Dimensional Integrated Circuit Layout
Av A. C. Harter
Häftad, 2009
737 kr
Lägg i varukorg
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. Winner of the Distinguished Dissertation in Computer Science …
A Modular and Extensible Network Storage Architecture
Av Sai Lai Lo
Häftad, 2011
670 kr
Lägg i varukorg
This book was originally published in 1995. At the time of publication, distributed file systems were monolithic and only supported single file abstractions. Network storage devices needed to be able to accommodate emerging information media such as digital audio and video, with data radically …
Three-Dimensional Integrated Circuit Layout
Av A. C. Harter
Inbunden, 1991
2029 kr
Lägg i varukorg
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. Winner of the Distinguished Dissertation in Computer Science …
Efficient Algorithms for Listing Combinatorial Structures
Inbunden, 1993
1905 kr
Lägg i varukorg
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 …
Specification and Proof in Real Time CSP
Av Jim Davies
Inbunden, 1993
1962 kr
Lägg i varukorg
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. It is important therefore that we are able to employ …
The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot
An Experimental, Quantitative Evaluation
Av D. C. Lee
Häftad, 2003
667 kr
Lägg i varukorg
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. Hybrid approaches combining features of both also exist. This book is the …
Qualified Types
Theory and Practice
Häftad, 2003
672 kr
Lägg i varukorg
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. These in turn are …
A Modular and Extensible Network Storage Architecture
Av Sai Lai Lo
Inbunden, 1995
2029 kr
Lägg i varukorg
This book was originally published in 1995. At the time of publication, distributed file systems were monolithic and only supported single file abstractions. Network storage devices needed to be able to accommodate emerging information media such as digital audio and video, with data radically …
Axiomatic Domain Theory in Categories of Partial Maps
Häftad, 2004
716 kr
Lägg i varukorg
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.e. abstract) …
Logic Programming
Operational Semantics and Proof Theory
Häftad, 2004
687 kr
Lägg i varukorg
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 between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in …
Modelling Auditory Processing and Organisation
Av Martin Cooke
Häftad, 2005
687 kr
Lägg i varukorg
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 …
A Compositional Approach to Performance Modelling
Häftad, 2005
721 kr
Lägg i varukorg
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. The method, which is illustrated with case studies taken from the area of communication systems, can …
Specification and Proof in Real Time CSP
Av Jim Davies
Häftad, 2012
918 kr
Lägg i varukorg
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. It is important therefore that we are able to employ …
