PASCAL - Pattern Analysis, Statistical Modelling and Computational Learning

EPrints submitted by Sean Holden

Click here to see user's record.

Number of EPrints submitted by this user: 4

The HasGP user manual
Sean Holden
(2011) Technical Report. University of Cambridge, Computer Laboratory, Cambridge, UK.

HasGP: A Haskell Library for Gaussian Process Inference
Sean Holden
. Journal of Machine Learning Research, 2011.

Multiple Kernel Learning for Drug Discovery
Nicholas Pilkington, Matthew Trotter and Sean Holden
Molecular Informatics 2011.

Machine learning for first-order theorem proving: learning to select a good heuristic
James Bridge, Sean Holden and Lawrence Paulson
Journal of Automated Reasoning 2012.