EPrints submitted by Sean Holden
Click here to see user's record.
Number of EPrints submitted by this user: 4
The HasGP user manual
University of Cambridge, Computer Laboratory, Cambridge, UK.
HasGP: A Haskell Library for Gaussian Process Inference
. Journal of Machine Learning Research,
Multiple Kernel Learning for Drug Discovery
Nicholas Pilkington, Matthew Trotter and Sean Holden
Machine learning for first-order theorem proving: learning to select a good heuristic
James Bridge, Sean Holden and Lawrence Paulson
Journal of Automated Reasoning