@unpublished{ozdogan-2023,
author = {Miran \"{O}zdogan and Alan Jeffares and Sean Holden},
title = {Partition Tree Ensembles for
Improving Multi-Class Classification},
year = {2024},
note = {Submitted to \emph{Pattern Recognition}.}
}
@inproceedings{casc-j12,
author = {Sean Holden},
title = {Connect++ 0.6.0},
booktitle = {Proceedings of the 12th {IJCAR} {ATP} System Competition
({CASC-J12})},
year = {2024},
editor = {Geoff Sutcliffe},
pages = {13--14},
url = {https://tptp.org/CASC/J12/}
}
@inproceedings{ceccarellia-2024-2,
author = {Francesco Ceccarelli and Salvatore Vitabile and
Francesco Prinzi and
Sean B. Holden and Pietro Li\`{o}},
title = {{MUGI-MRI}: Enhancing Breast Cancer Classification Through
Multiplex Graph Neural Networks in {DCE-MRI}},
booktitle = {Proceedings of the International Joint Conference on Neural
Networks (IJCNN)},
year = {2024},
url = {https://2024.ieeewcci.org/},
note = {Accepted for publication.}
}
@inproceedings{ceccarelli-2024-1,
author = {Francesco Ceccarelli and Lorenzo Giusti and
Sean B. Holden and Pietro Li\`{o}},
title = {Integrating Structure and Sequence: Protein Graph
Embeddings via {GNN}s and {LLM}s},
booktitle = {Proceedings of the 13th International Conference on
Pattern Recognition Applications and Methods (ICPRAM)},
year = {2024},
pages = {582--593},
publisher = {SciTePress},
organization = {Institute for Systems and Technologies of Information,
Control and Communication (INSTICC)},
doi = {10.5220/0012453600003654},
isbn = {978-989-758-684-2},
issn = {2184-4313},
volume = {1},
url = {https://www.scitepress.org/PublicationsDetail.aspx?ID=5pyCPe/5KOA=&t=1},
note = {arXiv:2306.04667v1 [q-bio.QM]}
}
@inproceedings{holden-20223,
author = {Sean B. Holden},
title = {Connect++: A New Automated Theorem Prover Based on
the Connection Calculus},
year = {2023},
pages = {95--106},
editor = {Jens Otten and Wolfgang Bibel},
month = {September},
url = {https://ceur-ws.org/Vol-3613/},
issn = {1613-0073},
publisher = {CEUR Workshop Proceedings},
volume = {3613},
booktitle = {Proceedings of the International Workshop on
Automated Reasoning with Connection Calculi (AReCCA)}
}
@inproceedings{otten-holden-2023,
author = {Jens Otten and Sean B. Holden},
title = {A Syntax for Connection Proofs},
year = {2023},
pages = {84--94},
editor = {Jens Otten and Wolfgang Bibel},
month = {September},
url = {https://ceur-ws.org/Vol-3613/},
issn = {1613-0073},
publisher = {CEUR Workshop Proceedings},
volume = {3613},
booktitle = {Proceedings of the International Workshop on
Automated Reasoning with Connection Calculi (AReCCA)}
}
@inproceedings{romming-2023,
author = {Fredrik R{\o}mming and Jens Otten and Sean B. Holden},
title = {Markov Decision Processes for Classical,
Intuitionistic, and Modal
Connection Calculi},
year = {2023},
pages = {117--118},
editor = {Jens Otten and Wolfgang Bibel},
month = {September},
url = {https://ceur-ws.org/Vol-3613/},
issn = {1613-0073},
publisher = {CEUR Workshop Proceedings},
volume = {3613},
booktitle = {Proceedings of the International Workshop on
Automated Reasoning with Connection Calculi (AReCCA)}
}
@inproceedings{xiangyu2,
author = {Xiangyu Zhao and Sean B. Holden},
title = {Towards a Competitive 3-Player {M}ahjong {AI} using Deep
Reinforcement Learning},
booktitle = {Proceedings of the IEEE Conference on Games},
year = {2022},
month = {August},
publisher = {IEEE},
pages = {524--527},
issn = {1556-603X},
doi = {https://doi.org/10.1109/MCI.2021.3129923},
url = {https://ieee-cog.org/2022/assets/papers/paper_170.pdf}
}
@inproceedings{chaitanya1,
author = {Chaitanya Mangla and Sean B. Holden and Lawrence Paulson},
title = {Bayesian Ranking for Strategy Scheduling in Automated
Theorem Provers},
booktitle = {Proceedings of the 11th International Joint
Conference on Automated Reasoning (IJCAR)},
year = {2022},
editor = {Jasmin Blanchette and Laura Kov\'{a}cs and Dirk Pattinson},
volume = {13385},
series = {Lecture Notes in Artificial Intelligence},
pages = {559--577},
month = {August},
issn = {1302-9743},
isbn = {978-3-031-10768-9},
url = {https://link.springer.com/chapter/10.1007/978-3-031-10769-6_33},
doi = {https://doi.org/10.1007/978-3-031-10769-6},
publisher = {Springer}
}
@inproceedings{slowick-bottou-holden-jamnik-2022,
author = {Agnieszka S\l{}owik and L\'{e}on Bottou and Sean
B. Holden and Mateja Jamnik},
title = {On the Relation Between Distributionally Robust
Optimization and Data Curation},
booktitle = {Proceedings of the AAAI Conference on Artificial
Intelligence},
year = {2022},
pages = {13053--13054},
issn = {2159-5399},
isbn = {1-57735-876-7},
volume = 36,
number = 11,
month = {June},
publisher = {AAAI Press},
note = {Best Student Abstract Honorable Mention},
url = {https://ojs.aaai.org/index.php/AAAI/article/view/21663},
doi = {https://doi.org/10.1609/aaai.v36i11.21663}
}
@unpublished{xiangyu1,
author = {Xiangyu Zhao and Sean B. Holden},
title = {Building a 3-Player {M}ahjong {AI} using Deep Reinforcement
Learning},
year = {2022},
month = {May},
url = {http://arxiv.org/abs/2202.12847},
doi = {10.48550/arXiv.2202.12847},
note = {arXiv:2202.12847v3}
}
@book{fnt-2021,
author = {Sean B. Holden},
title = {Machine Learning for Automated Theorem Proving: Learning
to Solve {SAT} and {QSAT}},
publisher = {{now publishers}},
year = {2021},
series = {Foundations and Trends$^{\text{\textregistered}}$ in
Machine Learning},
volume = {14},
number = {6},
pages = {807--989},
url = {https://www.nowpublishers.com/article/Details/MAL-081},
doi = {10.1561/2200000081},
isbn = {978-1-68083-898-5},
issn = {1935-8237},
address = {Boston, Delft}
}
@inproceedings{slowick-gupta-hamilton-jamnik-holden-pal-2021,
author = {Agnieszka S\l{}owik and Abhinav Gupta and
William L. Hamilton and Mateja Jamnik and
Sean B. Holden and Christopher Pal},
title = {Exploring Structural Inductive Biases in
Emergent Communication},
booktitle = {Proceedings of the 43rd Annual Meeting of the Cognitive
Science Society},
volume = {43},
issn = {1069-7977},
url = {https://escholarship.org/uc/item/09b496t7},
year = {2021},
pages = {3156},
month = {July},
note = {arXiv:2002.01335v4}
}
@inproceedings{mangla-holden-paulson-2020,
author = {Chaitanya Mangla and Sean B. Holden and Lawrence Paulson},
title = {Bayesian Optimisation of Solver Parameters in {CBMC}},
booktitle = {Proceedings of the 18th International Workshop on
Satisfiability Modulo Theories (SMT)},
year = {2020},
issn = {1613-0073},
editor = {Fran\c{c}ois Bobot and Tjark Weber},
pages = {37--47},
numpages = {11},
month = {July},
volume = {2854},
url = {http://ceur-ws.org/Vol-2854/},
publisher = {CEUR Workshop Proceedings}
}
@inproceedings{gupta-slowick-hamilton-jamnik-holden-pal-2020,
author = {Abhinav Gupta and Agnieszka S\l{}owik and William
L. Hamilton and Mateja Jamnik and Sean B. Holden and
Christopher Pal},
title = {Analyzing structural priors in multi-agent communication},
booktitle = {Workshop on Adaptive and Learning Agents (ALA), International
Conference on Autonomous Agents and Multi-Agent
Systems (AAMAS)},
year = {2020},
month = {May},
url = {https://ala2020.vub.ac.be/papers/ALA2020_paper_33.pdf}
}
@inproceedings{slowick-mangka-jamnik-holden-paulson-2020b,
author = {Agnieszka S\l{}owik and Chaitanya Mangla and Mateja
Jamnik and Sean B. Holden and Lawrence Paulson},
title = {Bayesian Optimisation for Heuristic Configuration in
Automated Theorem Proving},
editor = {Laura Kov\'{a}cs and Andrei Voronkov},
booktitle = {Vampire 2018 and Vampire 2019, The 5th and 6th
Vampire Workshops},
year = {2020},
volume = {71},
url = {https://easychair.org/publications/paper/K7Zd},
doi = {https://doi.org/10.29007/q91g},
series = {EPiC Series in Computing},
month = {March},
pages = {45--51},
issn = {2398--7340},
publisher = {EasyChair}
}
@inproceedings{slowick-mangla-jamnik-holden-paulson-2020a,
author = {Agnieszka S\l{}owik and Chaitanya Mangla and Mateja Jamnik
and Sean B. Holden and Lawrence C. Paulson},
title = {Bayesian Optimisation for Premise Selection in Automated
Theorem Proving (Student Abstract)},
booktitle = {Proceedings of the AAAI Conference on Artificial
Intelligence},
year = {2020},
volume = {34},
month = {February},
publisher = {AAAI Press},
issn = {2159-5399},
isbn = {978-1-57735-835-0},
pages = {13919--13920},
url = {https://ojs.aaai.org/index.php/AAAI/article/view/7232/7086},
doi = {https://doi.org/10.1609/aaai.v34i10.7232}
}
@inproceedings{slowick-gupta-hamilton-jamnik-holden-2020,
author = {Agnieszka S\l{}owik and Abhinav Gupta and William L.
Hamilton and Mateja Jamnik and Sean B. Holden},
title = {Towards Graph Representation Learning in Emergent
Communication},
booktitle = {AAAI-20 Workshop on Reinforcement Learning in Games},
month = {February},
year = {2020},
url = {http://aaai-rlg.mlanctot.info/papers/AAAI20-RLG_paper_27.pdf},
note = {arXiv:2001.09063v2}
}
@article{armean-lilley-trotter-pilkington-holden-2018,
author = {Irina M. Armean Kathryn S. Lilley and Matthew
W. B. Trotter and Nicholas C. V. Pilkington and Sean
B. Holden},
title = {Co-complex protein membership evaluation using Maximum
Entropy on GO ontology and InterPro annotation},
journal = {Bioinformatics},
volume = {34},
number = {11},
pages = {1884-1892},
year = {2018},
month = {June},
publisher = {Oxford University Press},
issn = {1367-4803},
doi = {10.1093/bioinformatics/btx803},
url = {https://academic.oup.com/bioinformatics/article/34/11/1884/4829752}
}
@article{breckels-et-al-2016,
author = {Lisa M. Breckels and Sean B. Holden and David Wojnar and
Claire M. Mulvey and Andy Christoforou and Arnoud
Groen and Matthew W. B. Trotter and Oliver
Kohlbacher and Kathryn S. Lilley and Laurent Gatto},
journal = {PLOS Computational Biology},
publisher = {Public Library of Science},
title = {Learning from Heterogeneous Data Sources: An Application
in Spatial Proteomics},
year = {2016},
issn = {1553-7358},
month = {May},
volume = {12},
url = {https://journals.plos.org/ploscompbiol/article?id=10.1371\%2Fjournal.pcbi.1004920},
pages = {1-26},
number = {5},
doi = {10.1371/journal.pcbi.1004920}
}
@techreport{UCAM-CL-TR-885,
author = {Holden, Sean B.},
title = {{HasGP: A Haskell library for Gaussian process inference}},
year = 2016,
month = {April},
url = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-885.pdf},
institution = {University of Cambridge, Computer Laboratory},
doi = {10.48456/tr-885},
issn = {1476-2986},
number = {UCAM-CL-TR-885},
note = {$\mathtt{https}$://$\mathtt{www.cl.cam.ac.uk/techreports/UCAM}$-$\mathtt{CL}$-$\mathtt{TR}$-$\mathtt{885.pdf}$}
}
@techreport{UCAM-CL-TR-883,
author = {Russell, Richard and Holden, Sean B.},
title = {{Survey propagation applied to weighted partial maximum
satisfiability}},
year = 2016,
month = {March},
url = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-883.pdf},
institution = {University of Cambridge, Computer Laboratory},
doi = {10.48456/tr-883},
issn = {1476-2986},
number = {UCAM-CL-TR-883},
note = {$\mathtt{https}$://$\mathtt{www.cl.cam.ac.uk/techreports/UCAM}$-$\mathtt{CL}$-$\mathtt{TR}$-$\mathtt{883.pdf}$}
}
@inproceedings{rachuri-hossman-mascolo-holden-2015,
author = {K. K. Rachuri and T. Hossmann and C. Mascolo and Sean
B. Holden},
booktitle = {Proceedings of the IEEE International Conference on
Pervasive Computing and Communications (PerCom)},
title = {Beyond location check-ins: Exploring physical and soft sensing
to augment social check-in apps},
url = {https://ieeexplore.ieee.org/document/7146518},
year = {2015},
pages = {123--130},
doi = {10.1109/PERCOM.2015.7146518},
isbn = {78-1-4799-8033-8},
publisher = {IEEE},
month = {March}
}
@inproceedings{timoteo-holden-2015,
author = {Ivo J. P. M. Timoteo and Sean B. Holden},
year = {2015},
pages = {324--332},
month = {January},
editor = {Maria De Marsico and M\'{a}rio Figueiredo and Ana Fred},
title = {Learning Dynamic Systems From Time-Series Data - An
Application to Gene Regulatory Networks},
volume = {2},
isbn = {978-989-758-077-2},
doi = {10.5220/0005282303240332},
issn = {2184-4313},
url = {https://www.scitepress.org/PublicationsDetail.aspx?ID=B1E7REC/Bdg=&t=1},
publisher = {SciTePress},
booktitle = {Proceedings of the 4th International
Conference on Pattern Recognition Applications and
Methods (ICPRAM)}
}
@article{bridge-holden-paulson-2014,
author = {James P. Bridge and Sean B. Holden and Lawrence C. Paulson},
title = {Machine Learning for First-Order Theorem Proving},
journal = {Journal of Automated Reasoning},
year = {2014},
month = {August},
volume = {53},
number = {2},
pages = {141--172},
issn = {1573-0670},
publisher = {Springer},
doi = {10.1007/s10817-014-9301-5},
url = {https://link.springer.com/article/10.1007/s10817-014-9301-5}
}
@article{pilkington-trotter-holden-2012,
author = {Nicholas C. V. Pilkington and Matthew W. B. Trotter and
Sean B. Holden},
title = {Multiple Kernel Learning for Drug Discovery},
journal = {Molecular Informatics},
volume = {31},
number = {3-4},
pages = {313--322},
month = {April},
doi = {10.1002/minf.201100146},
url = {https://onlinelibrary.wiley.com/doi/full/10.1002/minf.201100146},
year = {2012}
}
@techreport{UCAM-CL-TR-804,
author = {Holden, Sean B.},
title = {{The HasGP user manual}},
year = 2011,
month = {September},
url = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-804.pdf},
institution = {University of Cambridge, Computer Laboratory},
doi = {10.48456/tr-804},
issn = {1476-2986},
number = {UCAM-CL-TR-804},
note = {$\mathtt{https}$://$\mathtt{www.cl.cam.ac.uk/techreports/UCAM}$-$\mathtt{CL}$-$\mathtt{TR}$-$\mathtt{804.pdf}$}
}
@inproceedings{russell-holden-2010,
author = {Richard Russell and Sean B. Holden},
title = {Handling Goal Utility Dependencies in a Satisfiability Framework},
booktitle = {Proceedings of the Twentieth International Conference on
Automated Planning and Scheduling (ICAPS)},
year = {2010},
pages = {145--152},
month = {May},
editor = {Ronen I. Brafman and H\'{e}ctor Geffner and J\"{o}rg Hoffmann
and Henry Kautz},
url = {https://dl.acm.org/doi/abs/10.5555/3037334.3037354},
publisher = {AAAI Press}
}
@inproceedings{fothergill-harle-holden-2008,
author = {Simon Fothergill and Robert Harle and Sean B. Holden},
editor = {Niels da Vitoria Lobo and Takis Kasparis and Fabio Roli
and James T. Kwok and Michael Georgiopoulos and
Georgios C. Anagnostopoulos and Marco Loog},
title = {Modeling the Model Athlete: Automatic Coaching of Rowing
Technique},
booktitle = {Proceedings of the Joint AIPR International Workshop on
Structural, Syntactic, and Statistical Pattern
Recognition},
year = {2008},
month = {December},
issn = {0302-9743},
publisher = {Springer, Berlin, Heidelberg},
pages = {372--381},
isbn = {978-3-540-89689-0},
series = {Lecture Notes in Computer Science},
volume = {5342},
doi = {https://doi.org/10.1007/978-3-540-89689-0},
url = {https://link.springer.com/chapter/10.1007/978-3-540-89689-0_41}
}
@incollection{naish-guzman-holden-2007-a,
title = {Robust Regression with Twinned {G}aussian Processes},
author = {Andrew Naish-Guzman and Sean B. Holden},
booktitle = {Advances in Neural Information Processing Systems:
Proceedings of the 20th International Conference on
Neural Information Processing Systems (NIPS)},
volume = {20},
editor = {J. C. Platt and D. Koller and Y. Singer and S. T. Roweis},
pages = {1065--1072},
month = {December},
year = {2007},
isbn = {978-1-60560-352-0},
publisher = {Curran Associates, Inc.},
url = {http://papers.nips.cc/paper/3346-robust-regression-with-twinned-gaussian-processes.pdf}
}
@incollection{naish-guzman-holden-2007-b,
title = {The Generalized {FITC} Approximation},
author = {Andrew Naish-Guzman and Sean B. Holden},
booktitle = {Advances in Neural Information Processing Systems:
Proceedings of the 20th International Conference on
Neural Information Processing Systems (NIPS)},
volume = {20},
editor = {J. C. Platt and D. Koller and Y. Singer and S. T. Roweis},
pages = {1057--1064},
month = {December},
year = {2007},
isbn = {978-1-60560-352-0},
publisher = {Curran Associates, Inc.},
url = {http://papers.nips.cc/paper/3351-the-generalized-fitc-approximation.pdf}
}
@inproceedings{naish-guzman-holden-paquet-2005,
author = {Andrew Naish-Guzman and Sean B. Holden and Ulrich Paquet},
editor = {W\l{}odzis\l{}aw Duch and Janusz Kacprzyk and Erkki Oja
and S\l{}awomir Zadro{\.{z}}ny},
title = {On the Explicit Use of Example Weights in the Construction
of Classifiers},
booktitle = {Proceedings of the 15th International Conference on
Neural Networks: Formal Models and Their
Applications (ICANN)},
year = {2005},
month = {September},
series = {Lecture Notes in Computer Science},
volume = {3697},
publisher = {Springer, Berlin, Heidelberg},
pages = {307--312},
url = {https://link.springer.com/chapter/10.1007\%2F11550907_49},
issn = {0302-9743},
doi = {https://doi.org/10.1007/11550907},
isbn = {978-3-540-28756-8}
}
@inproceedings{paquet-holden-naish-guzman-2005,
author = {Ulrich Paquet and Sean B. Holden and Andrew Naish-Guzman},
editor = {W\l{}odzis\l{}aw Duch and Janusz Kacprzyk and Erkki Oja
and S\l{}awomir Zadro{\.{z}}ny},
title = {Bayesian Hierarchical Ordinal Regression},
booktitle = {Proceedings of the 15th International
Conference on Neural Networks: Formal Models and Their
Applications (ICANN)},
month = {September},
series = {Lecture Notes in Computer Science},
volume = {3697},
year = {2005},
publisher = {Springer, Berlin, Heidelberg},
pages = {267--272},
url = {https://link.springer.com/chapter/10.1007/11550907_42},
issn = {0302-9743},
doi = {https://doi.org/10.1007/11550907},
isbn = {978-3-540-28756-8}
}
@article{hammond-hutton-et-al-2004,
author = {Peter Hammond and Tim J. Hutton and Judith E. Allanson and
Linda E. Campbell and Raoul C. M. Hennekam and Sean
B. Holden and Michael A. Patton and Adam Shaw and
I. Karen Temple and Matthew Trotter and Kieran
C. Murphy and Robin M. Winter},
title = {{3D} analysis of facial morphology},
journal = {American Journal of Medical Genetics Part A},
volume = {126A},
number = {4},
pages = {339-348},
month = {April},
issn = {1552-4833},
doi = {10.1002/ajmg.a.20665},
url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/ajmg.a.20665},
year = {2004}
}
@article{trotter-holden-2003,
author = {Matthew W. B. Trotter and Sean B. Holden},
title = {Support Vector Machines for {ADME} Property Classification},
journal = {QSAR \& Combinatorial Science},
volume = {22},
pages = {533-548},
doi = {10.1002/qsar.200310006},
issn = {1868-1751},
url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/qsar.200310006},
year = {2003},
month = {July}
}
@article{burbidge-trotter-buxton-holden-2001b,
title = {Drug design by machine learning: support vector machines
for pharmaceutical data analysis},
journal = {Computers \& Chemistry},
volume = {26},
number = {1},
pages = {5--14},
year = {2001},
month = {December},
note = {Special Issue on Artificial Intelligence in Bioinformatics},
issn = {0097-8485},
editor = {Dave W. Corne and Andrew C. R. Martin},
url = {https://doi.org/10.1016/S0097-8485(01)00094-8},
author = {R. Burbidge and M. Trotter and B. Buxton and Sean B. Holden}
}
@article{trotter-buxton-holden-2001,
author = {Matthew Trotter and B. F. Buxton and Sean B. Holden},
year = {2001},
month = {October},
pages = {235-239},
title = {Support Vector Machines in Combinatorial Chemistry},
volume = {34},
number = {8},
journal = {Measurement and Control},
editor = {Qing-Ping Yang},
note = {Special Feature on Signal Processing},
doi = {10.1177/002029400103400803},
url = {https://journals.sagepub.com/doi/10.1177/002029400103400803}
}
@inproceedings{wickramaratna-holden-buxton-2001,
author = {Jeevani Wickramaratna and Sean B. Holden and Bernard F. Buxton},
title = {Performance Degradation in Boosting},
booktitle = {Proceedings of the Second International Workshop on
Multiple Classifier Systems (MCS)},
year = {2001},
volume = {2096},
series = {Lecture Notes in Computer Science},
isbn = {978-3-540-48219-2},
pages = {11--21},
month = {July},
editor = {Josef Kittler and Fabio Roli},
url = {https://link.springer.com/book/10.1007/3-540-48219-9},
publisher = {Springer, Berlin, Heidelberg},
issn = {0302-9743}
}
@inproceedings{burbidge-trotter-buxton-holden-2001a,
author = {Robert Burbidge and Matthew Trotter and Bernard Buxton and
Sean B. Holden},
editor = {Jos\'{e} Mira and Alberto Prieto},
title = {{STAR} - Sparsity through Automated Rejection},
month = {June},
booktitle = {Connectionist Models of Neurons, Learning Processes,
and Artificial Intelligence: Proceedings of the 6th
International Work-Conference on Artificial and
Natural Neural Networks (IWANN)},
year = {2001},
publisher = {Springer, Berlin, Heidelberg},
pages = {653--660},
url = {https://link.springer.com/chapter/10.1007\%2F3-540-45720-8_78},
isbn = {978-3-540-45720-6},
series = {Lecture Notes in Computer Science},
volume = {2084}
}
@inproceedings{burbidge-trotter-buxton-holden-2000,
author = {R. Burbidge and M. Trotter and B. Buxton and Sean B. Holden},
title = {Drug Design by Machine Learning: Support Vector
Machines for Pharmaceutical Data Analysis},
booktitle = {Proceedings of the Society for the Study of
Artificial Intelligence and Simulation of Behaviour
(AISB) Symposium on Artificial Intelligence in
Bioinformatics},
year = {2000},
month = {April},
isbn = {1 902956 12 X},
pages = {1--4},
note = {Final version in Computers \& Chemistry (full
details above)}
}
@inproceedings{wickramaratna-holden-buxton-2000,
author = {J. Wickramaratna and Sean B. Holden and B. Buxton},
title = {Effects of the Strength of the Weak Learner on
Boosting Kernel Machines},
booktitle = {Neural Information Processing Systems (NIPS)
Workshop on New Perspectives in Kernel-Based
Learning Methods},
year = {2000},
note = {No proceedings,
details of published version above}
}
@inproceedings{anthony-holden-1998,
author = {Martin Anthony and Sean B. Holden},
title = {Cross-validation for Binary Classification by Real-valued
Functions: Theoretical Analysis},
booktitle = {Proceedings of the Eleventh Annual Conference on
Computational Learning Theory (COLT)},
year = {1998},
month = {July},
isbn = {978-1-58113-057-7},
pages = {218--229},
url = {https://dl.acm.org/doi/10.1145/279943.279987},
doi = {10.1145/279943.279987},
publisher = {Association for Computing Machinery}
}
@article{holden-1998,
author = {Sean B. Holden},
title = {Generalization},
journal = {Statistics and Computing},
year = {1998},
month = {March},
volume = {8},
number = {1},
pages = {3--4},
issn = {0960-3174},
note = {Guest editorial for the Special Issue of the journal
on Generalization}
}
@techreport{holden-1998-b,
author = {Sean B. Holden},
title = {On Algorithmic Stability and the Analysis of the
Cross-Validation and Holdout Estimates},
institution = {Department of Computer Science, University College London.},
year = {1998},
number = {RN/97/73}
}
@article{holden-niranjan-1997,
author = {Sean B. Holden and Mahesan Niranjan},
title = {Average-Case Learning Curves for Radial Basis Function Networks},
journal = {Neural Computation},
volume = {9},
number = {2},
pages = {441-460},
month = {February},
year = {1997},
issn = {0899-7667},
publisher = {MIT Press},
doi = {10.1162/neco.1997.9.2.441},
url = {https://doi.org/10.1162/neco.1997.9.2.441}
}
@techreport{holden-1996-a,
author = {Sean B. Holden},
title = {Cross-Validation and the {PAC} Learning Model},
institution = {Department of Computer Science, University College London},
year = {1996},
number = {RN/96/64},
month = {December}
}
@article{price-holden-sandler-1996,
author = {M. Price and Sean B. Holden and M. Sandler},
title = {Accurate Parallel Form Filter Synthesis},
journal = {Electronics Letters},
issue = {22},
volume = {32},
year = {1996},
month = {October},
pages = {2066-2067},
publisher = {The Institution of Engineering and Technology},
issn = {0013-5194},
doi = {10.1049/el:19961374},
url = {https://digital-library.theiet.org/content/journals/10.1049/el_19961374}
}
@inproceedings{holden-1996-b,
author = {Sean B. Holden},
title = {{PAC}-Like Upper Bounds for the Sample Complexity of
Leave-one-Out Cross-Validation},
booktitle = {Proceedings of the Ninth Annual Conference on
Computational Learning Theory (COLT)},
pages = {41--50},
month = {January},
year = {1996},
publisher = {Association for Computing Machinary},
url = {https://dl.acm.org/doi/10.1145/238061.238067},
doi = {10.1145/238061.238067},
isbn = {978-0-89791-811-4}
}
@article{holden-niranjan-1995-a,
author = {Sean B. Holden and Mahesan Niranjan},
title = {On the Practical Applicability of {VC} Dimension Bounds},
journal = {Neural Computation},
volume = {7},
number = {6},
month = {November},
pages = {1265-1288},
year = {1995},
issn = {0899-7667},
publisher = {MIT Press},
doi = {10.1162/neco.1995.7.6.1265},
url = {https://doi.org/10.1162/neco.1995.7.6.1265}
}
@article{holden-niranjan-1995-b,
author = {Sean B. Holden and Mahesan Niranjan},
title = {On the Statistical Physics of Radial Basis Function Networks},
journal = {Neural Processing Letters},
year = {1995},
month = {July},
day = {1},
volume = {2},
number = {4},
pages = {16--19},
issn = {1370-4621},
publisher = {Springer, Berlin, Heidelberg},
doi = {10.1007/BF02279933},
url = {https://link.springer.com/article/10.1007/BF02279933}
}
@article{holden-rayner-1995,
author = {Sean B. Holden and Peter J. W. Rayner},
journal = {IEEE Transactions on Neural Networks},
title = {Generalization and {PAC} Learning: Some New Results for the
Class of Generalized Single-Layer Networks},
year = {1995},
volume = {6},
number = {2},
pages = {368-380},
url = {https://ieeexplore.ieee.org/document/363472},
doi = {10.1109/72.363472},
issn = {1045-9227},
publisher = {IEEE},
month = {March}
}
@inproceedings{holden-1994-a,
author = {Sean B. Holden},
title = {How Practical are {VC} Dimension Bounds?},
volume = {1},
booktitle = {Proceedings of the IEEE International Conference on
Neural Networks},
url = {https://ieeexplore.ieee.org/document/374184},
year = {1994},
publisher = {IEEE},
month = {June},
isbn = {0-7803-1901-X},
doi = {10.1109/ICNN.1994.374184},
pages = {327--332}
}
@inproceedings{holden-1994-b,
author = {Sean B. Holden},
title = {Neural Networks and the {VC} Dimension},
booktitle = {Proceedings of the Third IMA International
Conference on Mathematics and Signal Processing},
year = {1994},
pages = {73--84},
publisher = {Oxford University Press}
}
@article{anthony-holden-1994,
author = {Martin Anthony and Sean B. Holden},
title = {Quantifying Generalization in Linearly Weighted Neural Networks},
journal = {Complex Systems},
publisher = {Complex Systems Publications, Inc.},
year = {1994},
pages = {91--114},
volume = {8},
url = {https://www.complex-systems.com/abstracts/v08_i02_a02/},
number = {2}
}
@phdthesis{holden-thesis-1994,
author = {Sean B. Holden},
title = {On the Theory of Generalization and Self-Structuring
in Linearly Weighted Connectionist Networks},
school = {Cambridge University Engineering Department},
year = {1994},
month = {January},
address = {Trumpington Street, Cambridge CB2 1PZ, U.K},
note = {Technical Report CUED/F-INFENG/TR.161}
}
@inproceedings{anthony-holden-1993-b,
author = {Martin Anthony and Sean B. Holden},
editor = {Stan Gielen and Bert Kappen},
title = {On The Power of Linearly Weighted Neural Networks},
booktitle = {Proceedings of the International Conference on Artificial
Neural Networks ({ICANN})},
year = {1993},
month = {September},
publisher = {Springer, Berlin, Heidelberg},
pages = {738--743},
url = {https://link.springer.com/chapter/10.1007/978-1-4471-2063-6_207},
isbn = {978-1-4471-2063-6}
}
@inproceedings{anthony-holden-1993-a,
author = {Martin Anthony and Sean B. Holden},
editor = {Lenny Pitt},
title = {On the Power of Polynomial Discriminators and Radial Basis
Function Networks},
booktitle = {Proceedings of the Sixth Annual Conference on
Computational Learning Theory (COLT)},
pages = {158--164},
year = {1993},
month = {August},
publisher = {Association for Computing Machinery},
isbn = {0-89791-611-5},
url = {https://doi.org/10.1145/168304.168324},
doi = {10.1145/168304.168324}
}
@inproceedings{holden-1993-a,
author = {Sean B. Holden},
title = {Valid Generalization in Radial Basis Function
Networks and Modified {K}anerva Models},
booktitle = {Proceedings of the IEE Third International
Conference on Artificial Neural Networks},
year = {1993},
pages = {100--104},
isbn = {0-85296-573-7},
publisher = {IET},
url = {https://ieeexplore.ieee.org/document/263248},
month = {May}
}
@techreport{holden-1993-b,
author = {Sean B. Holden},
title = {High Order Filter Design and Implementation Project:
Initial Report and Four Month Plan},
institution = {King's College London},
year = {1993},
number = {108/SCS/93},
month = {March}
}
@techreport{holden-1993-c,
author = {Sean B. Holden},
title = {High Order Filter Design and Implementation Project:
Summary of Present Position},
institution = {King's College London},
year = {1993},
number = {108/SCS/93},
month = {March}
}
@inproceedings{holden-rayner-1992,
author = {Sean B. Holden and Peter J. W. Rayner},
title = {Generalization and Learning in {V}olterra and Radial
Basis Function Networks: A Theoretical Analysis},
booktitle = {Proceedings of the IEEE International Conference on
Acoustics, Speech and Signal Processing (ICASSP)},
year = {1992},
volume = {2},
pages = {II-273--II-276},
month = {March},
isbn = {0-7803-0532-9},
issn = {1520-6149},
doi = {10.1109/ICASSP.1992.226067},
url = {https://ieeexplore.ieee.org/document/226067},
publisher = {IEEE}
}
@inproceedings{lynch-holden-rayner-1991,
author = {M. R. Lynch and Sean B. Holden and Peter J. W. Rayner},
title = {Complexity Reduction in {V}olterra Connectionist
Networks using a Self-Structuring {LMS} Algorithm},
booktitle = {Proceedings of the IEE Second International
Conference on Artificial Neural Networks},
year = {1991},
pages = {44--48},
publisher = {IET},
month = {November},
url = {https://ieeexplore.ieee.org/document/140282},
isbn = {0-85296-531-1}
}
@inproceedings{lynch-rayner-holden-1991,
author = {M. R. Lynch and Peter J. W. Rayner and Sean B. Holden},
title = {Removal of Degeneracy in Adaptive {V}olterra Networks
by Dynamic Structuring},
booktitle = {Proceedings of the IEEE International Conference on
Acoustics, Speech and Signal Processing (ICASSP)},
year = {1991},
volume = {3},
pages = {2069--2072},
month = {April},
isbn = {0-7803-0003-3},
issn = {1520-6149},
doi = {10.1109/ICASSP.1991.150812},
url = {https://ieeexplore.ieee.org/document/150812},
publisher = {IEEE}
}
This file was generated by bibtex2html 1.99.