Distinguished Dissertations – serie
Visar alla böcker i serien Distinguished Dissertations. Handla med fri frakt och snabb leverans.
28 produkter
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
Häftad, 2012
1097 kr
Lägg i varukorg
Accurate Visual Metrology from Single and Multiple Uncalibrated Images presents novel techniques for constructing three-dimensional models from bi-dimensional images using virtual reality tools. Antonio Criminisi develops the mathematical theory of computing world measurements from single images, …
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Häftad, 2012
1097 kr
Lägg i varukorg
Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style mixture of geometric and limit reasoning that has often been viewed as logically vague.In A Combination of Geometry Theorem Proving and Nonstandard Analysis, Jacques Fleuriot presents a …
Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
Av Ian Miguel
Häftad, 2012
1130 kr
Lägg i varukorg
First, I would like to thank my principal supervisor Dr Qiang Shen for all his help, advice and friendship throughout. Many thanks also to my second supervisor Dr Peter Jarvis for his enthusiasm, help and friendship. I would also like to thank the other members of the Approximate and Qualitative …
Image Mosaicing and Super-resolution
Av David Capel
Häftad, 2012
1130 kr
Lägg i varukorg
This book investigates sets of images consisting of many overlapping viewsofa scene, and how the information contained within them may be combined to produce single images of superior quality. The generic name for such techniques is frame fusion. Using frame fusion, it is possible to extend the …
Strength or Accuracy: Credit Assignment in Learning Classifier Systems
Av Tim Kovacs
Häftad, 2012
1642 kr
Lägg i varukorg
Classifier systems are an intriguing approach to a broad range of machine learning problems, based on automated generation and evaluation of condi tion/action rules. Inreinforcement learning tasks they simultaneously address the two major problems of learning a policy and generalising over it (and …
User-Developer Cooperation in Software Development
Building Common Ground and Usable Systems
Häftad, 2012
1130 kr
Lägg i varukorg
The topic of the research reported here is direct user participation in the task-based development of interactive software systems. Building usable software demands understanding and supporting users and their tasks. Users are a primary source of usability requirements and knowledge, since users …
Inheritance Relationships for Disciplined Software Construction
Häftad, 2012
568 kr
Lägg i varukorg
Object-oriented inheritance has been in widespread use for a decade, and it is now realised that although inheritance is a powerful modelling tool with many associated advantages, its benefits are not automatically conferred on systems that simply use it.This book introduces a model of inheritance …
Asynchronous System-on-Chip Interconnect
Häftad, 2014
552 kr
Lägg i varukorg
Asynchronous System-on-Chip Interconnect describes the use of an entirely asynchronous system-bus for the modular construction of integrated circuits. Industry is just awakening to the benefits of asynchronous design in avoiding the problems of clock-skew and multiple clock-domains, an din parallel …
Automated Theory Formation in Pure Mathematics
Av Simon Colton
Häftad, 2012
1097 kr
Lägg i varukorg
In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' - automating large scale tasks which require human-level intelligence to undertake. The subject of this book, automated theory formation in …
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Av Guy McCusker
Häftad, 2012
568 kr
Lägg i varukorg
This book is a minor revision of the thesis submitted in August 1996; no major changes have been made. However, I would like to take this opportunity to mention that since the thesis was written, discoveries have been made which would allow a substantial simplification and strengthening of the …
Stochastic Algorithms for Visual Tracking
Probabilistic Modelling and Stochastic Algorithms for Visual Localisation and Tracking
Häftad, 2011
1130 kr
Lägg i varukorg
A central problem in computer vision is to track objects as they move and deform in a video sequence. Stochastic algorithms -- in particular, particle filters and the Condensation algorithm -- have dramatically enhanced the state of the art for such visual tracking problems in recent years. This …
Randomized Algorithms: Approximation, Generation, and Counting
Av Russ Bubley
Häftad, 2011
1130 kr
Lägg i varukorg
Randomized Algorithms discusses two problems of fine pedigree: counting and generation, both of which are of fundamental importance to discrete mathematics and probability. When asking questions like "How many are there?" and "What does it look like on average?" of families of combinatorial …
Architecture-Independent Loop Parallelisation
Häftad, 2011
1130 kr
Lägg i varukorg
Architecture-independent programming and automatic parallelisation have long been regarded as two different means of alleviating the prohibitive costs of parallel software development. Building on recent advances in both areas, Architecture-Independent Loop Parallelisation proposes a unified …
Models of Sharing Graphs
A Categorical Semantics of let and letrec
Häftad, 2011
568 kr
Lägg i varukorg
Models of Sharing Graphs presents a sound mathematical basis for reasoning about models of computation involving shared resources, including graph rewriting systems, denotational semantics and concurrency theory. An algebraic approach, based on the language of category theory, is taken throughout …
Large Scale Collaborative Virtual Environments
Häftad, 2011
1130 kr
Lägg i varukorg
Collaborative virtual environments are multi-user virtual realities which actively support communication and co-operation. This book addresses the theory, design, realisation and evaluation of such systems, with a particular emphasis on support for large numbers of distributed users. A broad …
Extensional Constructs in Intensional Type Theory
Häftad, 2011
1579 kr
Lägg i varukorg
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theories deal …
Theorem Proving with the Real Numbers
Häftad, 2011
1130 kr
Lägg i varukorg
This book discusses the use of the real numbers in theorem proving. Typ ically, theorem provers only support a few 'discrete' datatypes such as the natural numbers. However the availability of the real numbers opens up many interesting and important application areas, such as the verification of …
Search and Planning Under Incomplete Information
A Study Using Bridge Card Play
Av Ian Frank
Häftad, 2011
1130 kr
Lägg i varukorg
This book updates the thesis I produced for my PhD at the Department of Artificial Intelligence of the University of Edinburgh, correcting errors, and improving some of the formatting and readability. Since the original work was completed (early 1996), research has progressed. Most notably, the …
Hardware Evolution
Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution
Häftad, 2012
1130 kr
Lägg i varukorg
Evolution through natural selection has been going on for a very long time. Evolution through artificial selection has been practiced by humans for a large part of our history, in the breeding of plants and livestock. Artificial evolution, where we evolve an artifact through artificial selection, …
User-Developer Cooperation in Software Development
Building Common Ground and Usable Systems
Inbunden, 2001
1128 kr
Lägg i varukorg
The topic of the research reported here is direct user participation in the task-based development of interactive software systems. Building usable software demands understanding and supporting users and their tasks. Users are a primary source of usability requirements and knowledge, since users …
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Inbunden, 2001
1098 kr
Lägg i varukorg
Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style mixture of geometric and limit reasoning that has often been viewed as logically vague.In A Combination of Geometry Theorem Proving and Nonstandard Analysis, Jacques Fleuriot presents a …
Inheritance Relationships for Disciplined Software Construction
Inbunden, 2001
903 kr
Lägg i varukorg
Object-oriented inheritance has been in widespread use for a decade, and it is now realised that although inheritance is a powerful modelling tool with many associated advantages, its benefits are not automatically conferred on systems that simply use it. This book introduces a model of inheritance …
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
Inbunden, 2001
1098 kr
Lägg i varukorg
Accurate Visual Metrology from Single and Multiple Uncalibrated Images presents novel techniques for constructing three-dimensional models from bi-dimensional images using virtual reality tools. Antonio Criminisi develops the mathematical theory of computing world measurements from single images, …
Automated Theory Formation in Pure Mathematics
Av Simon Colton
Inbunden, 2002
1098 kr
Lägg i varukorg
In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' - automating large scale tasks which require human-level intelligence to undertake. The subject of this book, automated theory formation in …
Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
Av Ian Miguel
Inbunden, 2003
1128 kr
Lägg i varukorg
First, I would like to thank my principal supervisor Dr Qiang Shen for all his help, advice and friendship throughout. Many thanks also to my second supervisor Dr Peter Jarvis for his enthusiasm, help and friendship. I would also like to thank the other members of the Approximate and Qualitative …
Strength or Accuracy: Credit Assignment in Learning Classifier Systems
Av Tim Kovacs
Inbunden, 2004
1692 kr
Lägg i varukorg
The Distinguished Dissertations series is published on behalf of the Conference of Professors and Heads of Computing and the British Computer Society, who annually select the best British PhD dissertations in computer science for publication. The dissertations are selected on behalf of the CPHC by …
Image Mosaicing and Super-resolution
Av David Capel
Inbunden, 2004
1128 kr
Lägg i varukorg
This book investigates sets of images consisting of many overlapping viewsofa scene, and how the information contained within them may be combined to produce single images of superior quality. The generic name for such techniques is frame fusion. Using frame fusion, it is possible to extend the …
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Av Guy McCusker
Inbunden, 1998
879 kr
Lägg i varukorg
1 Introduction.- 2 Preliminaries.- 3 Games.- 4 Rational Categories and Recursive Types.- 5 FPC and its Models.- 6 Full Abstraction.- 7 Conclusions.
