- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Résultats pour "Distinguished Dissertations"
-
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
Antonio Criminisi
- Livre relié | Anglais | Distinguished Dissertations
- Accurate Visual Metrology from Single and Multiple Uncalibrated Images presents novel techniques for constructing three-dimensional models from bi-dim... Savoir plus
167,95 €Livraison 1 à 2 semaines167,95 €Livraison 1 à 2 semaines -
Search and Planning Under Incomplete Information
Ian Frank
- Livre broché | Anglais | Distinguished Dissertations
- This book updates the thesis I produced for my PhD at the Department of Artificial Intelligence of the University of Edinburgh, correcting errors, and... Savoir plus
153,95 €Livraison 1 à 2 semaines153,95 €Livraison 1 à 2 semaines -
Automated Theory Formation in Pure Mathematics
Simon Colton
- Livre broché | Anglais | Distinguished Dissertations
- In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big p... Savoir plus
125,95 €Livraison 1 à 2 semaines125,95 €Livraison 1 à 2 semaines -
Asynchronous System-On-Chip Interconnect
John Bainbridge
- Livre broché | Anglais | Distinguished Dissertations
- Asynchronous System-on-Chip Interconnect describes the use of an entirely asynchronous system-bus for the modular construction of integrated circuits.... Savoir plus
106,95 €Livraison 1 à 2 semaines106,95 €Livraison 1 à 2 semaines -
Randomized Algorithms: Approximation, Generation, and Counting
Russ Bubley
- Livre broché | Anglais | Distinguished Dissertations
- Randomized Algorithms discusses two problems of fine pedigree: counting and generation, both of which are of fundamental importance to discrete mathem... Savoir plus
125,95 €Livraison 1 à 2 semaines125,95 €Livraison 1 à 2 semaines -
Models of Sharing Graphs
Masahito Hasegawa
- Livre broché | Anglais | Distinguished Dissertations
- Models of Sharing Graphs presents a sound mathematical basis for reasoning about models of computation involving shared resources, including graph rew... Savoir plus
125,95 €Livraison 1 à 2 semaines125,95 €Livraison 1 à 2 semaines -
User-Developer Cooperation in Software Development
Eamonn O'Neill
- Livre relié | Anglais | Distinguished Dissertations
- The topic of the research reported here is direct user participation in the task-based development of interactive software systems. Building usable so... Savoir plus
153,95 €Livraison 1 à 2 semaines153,95 €Livraison 1 à 2 semaines -
Theorem Proving with the Real Numbers
John Harrison
- Livre broché | Anglais | Distinguished Dissertations
- 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 n... Savoir plus
139,95 €Livraison 1 à 2 semaines139,95 €Livraison 1 à 2 semaines -
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Jacques Fleuriot
- Livre broché | Anglais | Distinguished Dissertations
- Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style mixture of geometric and limit reasoning that has... Savoir plus
167,95 €Livraison 2 à 3 semaines167,95 €Livraison 2 à 3 semaines -
Extensional Constructs in Intensional Type Theory
Martin Hofmann
- Livre broché | Anglais | Distinguished Dissertations
- Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for impor... Savoir plus
153,95 €Livraison 1 à 2 semaines153,95 €Livraison 1 à 2 semaines -
Large Scale Collaborative Virtual Environments
Chris Greenhalgh
- Livre broché | Anglais | Distinguished Dissertations
- Collaborative virtual environments are multi-user virtual realities which actively support communication and co-operation. This book addresses the the... Savoir plus
139,95 €Livraison 1 à 2 semaines139,95 €Livraison 1 à 2 semaines -
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
Antonio Criminisi
- Livre broché | Anglais | Distinguished Dissertations
- Accurate Visual Metrology from Single and Multiple Uncalibrated Images presents novel techniques for constructing three-dimensional models from bi-dim... Savoir plus
167,95 €Livraison 1 à 2 semaines167,95 €Livraison 1 à 2 semaines -
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Guy McCusker
- Livre broché | Anglais | Distinguished Dissertations
- 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 ... Savoir plus
76,95 €Livraison 1 à 2 semaines76,95 €Livraison 1 à 2 semaines -
Dynamic Flexible Constraint Satisfaction and Its Application to AI Planning
Ian Miguel
- Livre relié | Anglais | Distinguished Dissertations
- 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 s... Savoir plus
167,95 €Livraison 1 à 2 semaines167,95 €Livraison 1 à 2 semaines -
Image Mosaicing and Super-Resolution
David Capel
- Livre relié | Anglais | Distinguished Dissertations
- This book investigates sets of images consisting of many overlapping viewsofa scene, and how the information contained within them may be combined to ... Savoir plus
167,95 €Livraison 1 à 2 semaines167,95 €Livraison 1 à 2 semaines -
Hardware Evolution
Adrian Thompson
- Livre broché | Anglais | Distinguished Dissertations
- Evolution through natural selection has been going on for a very long time. Evolution through artificial selection has been practiced by humans for a ... Savoir plus
139,95 €Livraison 1 à 2 semaines139,95 €Livraison 1 à 2 semaines -
Automated Theory Formation in Pure Mathematics
Simon Colton
- Livre relié | Anglais | Distinguished Dissertations
- In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big p... Savoir plus
153,95 €Livraison 1 à 2 semaines153,95 €Livraison 1 à 2 semaines -
User-Developer Cooperation in Software Development
Eamonn O'Neill
- Livre broché | Anglais | Distinguished Dissertations
- The topic of the research reported here is direct user participation in the task-based development of interactive software systems. Building usable so... Savoir plus
125,95 €Livraison 1 à 2 semaines125,95 €Livraison 1 à 2 semaines -
Stochastic Algorithms for Visual Tracking
John Maccormick
- Livre broché | Anglais | Distinguished Dissertations
- A central problem in computer vision is to track objects as they move and deform in a video sequence. Stochastic algorithms -- in particular, particle... Savoir plus
139,95 €Livraison 1 à 2 semaines139,95 €Livraison 1 à 2 semaines -
Dynamic Flexible Constraint Satisfaction and Its Application to AI Planning
Ian Miguel
- Livre broché | Anglais | Distinguished Dissertations
- 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 s... Savoir plus
153,95 €Livraison 1 à 2 semaines153,95 €Livraison 1 à 2 semaines -
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Jacques Fleuriot
- Livre relié | Anglais | Distinguished Dissertations
- Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style mixture of geometric and limit reasoning that has... Savoir plus
153,95 €Livraison 1 à 2 semaines153,95 €Livraison 1 à 2 semaines -
Image Mosaicing and Super-Resolution
David Capel
- Livre broché | Anglais | Distinguished Dissertations
- This book investigates sets of images consisting of many overlapping viewsofa scene, and how the information contained within them may be combined to ... Savoir plus
167,95 €Livraison 1 à 2 semaines167,95 €Livraison 1 à 2 semaines -
Strength or Accuracy: Credit Assignment in Learning Classifier Systems
Tim Kovacs
- Livre relié | Anglais | Distinguished Dissertations
- Classifier systems are an intriguing approach to a broad range of machine learning problems, based on automated generation and evaluation of condi- ti... Savoir plus
195,95 €Livraison 1 à 2 semaines195,95 €Livraison 1 à 2 semaines -
Architecture-Independent Loop Parallelisation
Radu C Calinescu
- Livre broché | Anglais | Distinguished Dissertations
- Architecture-independent programming and automatic parallelisation have long been regarded as two different means of alleviating the prohibitive costs... Savoir plus
141,45 €Livraison 1 à 2 semaines141,45 €Livraison 1 à 2 semaines