Accurate Visual Metrology from Single and Multiple Uncalibrated Images
Antonio Criminisi
Download - Immediately Available
Format: eBook (PDF)
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Jacques Fleuriot
Download - Immediately Available
Format: eBook (PDF)
Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
Ian Miguel
Download - Immediately Available
Format: eBook (PDF)
Image Mosaicing and Super-resolution
David Capel
Download - Immediately Available
Format: eBook (PDF)
Strength or Accuracy: Credit Assignment in Learning Classifier Systems
Tim Kovacs
Download - Immediately Available
Format: eBook (PDF)
Inheritance Relationships for Disciplined Software Construction
Tracy A. Gardner
Download - Immediately Available
Format: eBook (PDF)
Automated Theory Formation in Pure Mathematics
Simon Colton
Download - Immediately Available
Format: eBook (PDF)
Asynchronous System-on-Chip Interconnect
John Bainbridge
Download - Immediately Available
Format: eBook (PDF)
User-Developer Cooperation in Software Development : Building Common Ground and Usable Systems
Eamonn O'Neill
Download - Immediately Available
Format: eBook (PDF)
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Guy McCusker
Download - Immediately Available
Format: eBook (PDF)
Stochastic Algorithms for Visual Tracking : Probabilistic Modelling and Stochastic Algorithms for Visual Localisation and Tracking
John MacCormick
Download - Immediately Available
Format: eBook (PDF)
Randomized Algorithms: Approximation, Generation, and Counting
Russ Bubley
Download - Immediately Available
Format: eBook (PDF)
Architecture-Independent Loop Parallelisation
Radu C. Calinescu
Download - Immediately Available
Format: eBook (PDF)
Models of Sharing Graphs : A Categorical Semantics of let and letrec
Masahito Hasegawa
Download - Immediately Available
Format: eBook (PDF)
Large Scale Collaborative Virtual Environments
Chris Greenhalgh
Download - Immediately Available
Format: eBook (PDF)
Extensional Constructs in Intensional Type Theory
Martin Hofmann
Download - Immediately Available
Format: eBook (PDF)
Theorem Proving with the Real Numbers
John Harrison
Download - Immediately Available
Format: eBook (PDF)
Search and Planning Under Incomplete Information : A Study Using Bridge Card Play
Ian Frank
Download - Immediately Available
Format: eBook (PDF)
Hardware Evolution : Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution
Adrian Thompson
Download - Immediately Available
Format: eBook (PDF)