Dynamic Trees are mixtures of tree structured belief networks, and are used as models for image segmentation and tracking.

A library of tools for constructing maximum entropy (maxent) model in either python or C++. Some program features are L-BFGS and GIS parameter estimation, and gaussian prior smoothing. [GPL]

Belief networks, dynamic trees, image models, image processing, probabilistic methods in astronomy, scientific data mining, Gaussian processes and Hopfield neural networks.

Concise introduction and demonstration of the Hough Transform, used for finding lines and edges in images, along with pointers to more advanced techniques for partial and curved lines.

University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.

University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.

University of Edinburgh - 3D scene understanding, model based object recognition, range image analysis, and parallel vision algorithms.

University of Edinburgh - Architecture of parallel and novel computer systems.

University of Edinburgh - Theoretical and computational linguistics, semantics, pragmatics, logic and knowledge representation.

University of Aberdeen - Natural language front ends; formal properties of linguistic formalisms; semantic interpretation of English sentences, particularly temporal semantics; modelling of verbal humour.