Distinguished Dissertations - Böcker

Accurate Visual Metrology from Single and Multiple Uncalibrated Images

Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

Dynamic Flexible Constraint Satisfaction and its Application to AI Planning

Image Mosaicing and Super-resolution

Strength or Accuracy: Credit Assignment in Learning Classifier Systems

User-Developer Cooperation in Software Development

Building Common Ground and Usable Systems

Inheritance Relationships for Disciplined Software Construction

Asynchronous System-on-Chip Interconnect

Automated Theory Formation in Pure Mathematics

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Stochastic Algorithms for Visual Tracking

Probabilistic Modelling and Stochastic Algorithms for Visual Localisation and Tracking

Randomized Algorithms: Approximation, Generation, and Counting

Architecture-Independent Loop Parallelisation

Models of Sharing Graphs

A Categorical Semantics of let and letrec

Large Scale Collaborative Virtual Environments

Extensional Constructs in Intensional Type Theory

Theorem Proving with the Real Numbers

Search and Planning Under Incomplete Information

A Study Using Bridge Card Play

Hardware Evolution

Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution

User-Developer Cooperation in Software Development

Building Common Ground and Usable Systems

Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

Inheritance Relationships for Disciplined Software Construction

Accurate Visual Metrology from Single and Multiple Uncalibrated Images

Automated Theory Formation in Pure Mathematics

Dynamic Flexible Constraint Satisfaction and its Application to AI Planning

Strength or Accuracy: Credit Assignment in Learning Classifier Systems

Image Mosaicing and Super-resolution