Filteren
1
Sorteren
30 resultaten
Serie: Distinguished dissertations
gebondenEngels9781852333119
19-2-2001
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. Meer
gebondenEngels9781852333256
13-11-2000
Randomized Algorithms discusses two problems of fine pedigree: counting and generation, both of which are of fundamental importance to discrete mathematics and probability. Meer
GebondenEngels9781852334673
1-7-2001
Introduces a model of inheritance based around five fundamental inheritance relationships. Each relationship has a conceptual basis, representing a fundamental use of inheritance. Meer
gebondenEngels9781852335984
28-5-2002
Asynchronous System-on-Chip Interconnect describes the use of an entirely asynchronous system-bus for the modular construction of integrated circuits. Meer
gebondenEngels9781852336097
9-8-2002
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. Meer
gebondenEngels9781852334666
8-6-2001
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. Meer
gebondenEngels9781852334680
18-7-2001
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. Meer
gebondenEngels9781852337643
14-11-2003
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. Meer
gebondenEngels9781852337704
20-1-2004
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. Meer
gebondenEngels9781852337711
19-1-2004
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. Meer
paperbackEngels9781447115939
20-11-2011
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. Meer
paperbackEngels9781447115960
7-12-2011
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. Meer
paperbackEngels9781447112211
8-10-2011
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. Meer
paperbackEngels9781447112228
16-9-2011
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. Meer
paperbackEngels9781447111979
16-9-2011
Architecture-independent programming and automatic parallelisation have long been regarded as two different means of alleviating the prohibitive costs of parallel software development. Meer
paperbackEngels9781447112433
22-9-2011
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). Meer
paperbackEngels9781447134169
13-2-2012
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. Meer
paperbackEngels9781447110408
5-9-2012
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. Meer
paperbackEngels9781447110415
13-9-2012
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. Meer
paperbackEngels9781447110484
27-9-2012
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. Meer