Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sean B. Holden
@inproceedings{DBLP:conf/icpram/CeccarelliGHL24,
author = {Francesco Ceccarelli and
Lorenzo Giusti and
Sean B. Holden and
Pietro Li{\`{o}}},
editor = {Modesto Castrill{\'{o}}n Santana and
Maria De Marsico and
Ana L. N. Fred},
title = {Integrating Structure and Sequence: Protein Graph Embeddings via GNNs
and LLMs},
booktitle = {Proceedings of the 13th International Conference on Pattern Recognition
Applications and Methods, {ICPRAM} 2024, Rome, Italy, February 24-26,
2024},
pages = {582--593},
publisher = {{SCITEPRESS}},
year = {2024},
url = {https://doi.org/10.5220/0012453600003654},
doi = {10.5220/0012453600003654},
timestamp = {Tue, 02 Apr 2024 14:39:54 +0200},
biburl = {https://dblp.org/rec/conf/icpram/CeccarelliGHL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arecca/OttenH23,
author = {Jens Otten and
Sean B. Holden},
editor = {Jens Otten and
Wolfgang Bibel},
title = {A Syntax for Connection Proofs},
booktitle = {Proceedings of the 1st International Workshop on Automated Reasoning
with Connection Calculi (AReCCa 2023) affiliated with the 32nd International
Conference on Automated Reasoning with Analytic Tableaux and Related
Methods {(TABLEAUX} 2023), Prague, Czech Republic, September 18, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3613},
pages = {84--94},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3613/AReCCa2023\_paper6.pdf},
timestamp = {Sat, 27 Jan 2024 16:34:35 +0100},
biburl = {https://dblp.org/rec/conf/arecca/OttenH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arecca/Holden23,
author = {Sean B. Holden},
editor = {Jens Otten and
Wolfgang Bibel},
title = {Connect++: {A} New Automated Theorem Prover Based on the Connection
Calculus},
booktitle = {Proceedings of the 1st International Workshop on Automated Reasoning
with Connection Calculi (AReCCa 2023) affiliated with the 32nd International
Conference on Automated Reasoning with Analytic Tableaux and Related
Methods {(TABLEAUX} 2023), Prague, Czech Republic, September 18, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3613},
pages = {95--106},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3613/AReCCa2023\_paper7.pdf},
timestamp = {Sat, 27 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arecca/Holden23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arecca/RommingOH23,
author = {Fredrik R{\o}mming and
Jens Otten and
Sean B. Holden},
editor = {Jens Otten and
Wolfgang Bibel},
title = {Connections: Markov Decision Processes for Classical, Intuitionistic
and Modal Connection Calculi},
booktitle = {Proceedings of the 1st International Workshop on Automated Reasoning
with Connection Calculi (AReCCa 2023) affiliated with the 32nd International
Conference on Automated Reasoning with Analytic Tableaux and Related
Methods {(TABLEAUX} 2023), Prague, Czech Republic, September 18, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3613},
pages = {107--118},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3613/AReCCa2023\_paper8.pdf},
timestamp = {Sat, 27 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arecca/RommingOH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-04667,
author = {Francesco Ceccarelli and
Lorenzo Giusti and
Sean B. Holden and
Pietro Li{\`{o}}},
title = {Neural Embeddings for Protein Graphs},
journal = {CoRR},
volume = {abs/2306.04667},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.04667},
doi = {10.48550/ARXIV.2306.04667},
eprinttype = {arXiv},
eprint = {2306.04667},
timestamp = {Wed, 14 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-04667.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SlowikBHJ22,
author = {Agnieszka Slowik and
L{\'{e}}on Bottou and
Sean B. Holden and
Mateja Jamnik},
title = {On the Relation between Distributionally Robust Optimization and Data
Curation (Student Abstract)},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {13053--13054},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i11.21663},
doi = {10.1609/AAAI.V36I11.21663},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SlowikBHJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ManglaHP22,
author = {Chaitanya Mangla and
Sean B. Holden and
Lawrence C. Paulson},
editor = {Jasmin Blanchette and
Laura Kov{\'{a}}cs and
Dirk Pattinson},
title = {Bayesian Ranking for Strategy Scheduling in Automated Theorem Provers},
booktitle = {Automated Reasoning - 11th International Joint Conference, {IJCAR}
2022, Haifa, Israel, August 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13385},
pages = {559--577},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10769-6\_33},
doi = {10.1007/978-3-031-10769-6\_33},
timestamp = {Mon, 24 Oct 2022 16:36:35 +0200},
biburl = {https://dblp.org/rec/conf/cade/ManglaHP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cig/ZhaoH22,
author = {Xiangyu Zhao and
Sean B. Holden},
title = {Towards a Competitive 3-Player Mahjong {AI} using Deep Reinforcement
Learning},
booktitle = {{IEEE} Conference on Games, CoG 2022, Beijing, China, August 21-24,
2022},
pages = {524--527},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CoG51982.2022.9893576},
doi = {10.1109/COG51982.2022.9893576},
timestamp = {Wed, 05 Oct 2022 14:41:54 +0200},
biburl = {https://dblp.org/rec/conf/cig/ZhaoH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-12847,
author = {Xiangyu Zhao and
Sean B. Holden},
title = {Building a 3-Player Mahjong {AI} using Deep Reinforcement Learning},
journal = {CoRR},
volume = {abs/2202.12847},
year = {2022},
url = {https://arxiv.org/abs/2202.12847},
eprinttype = {arXiv},
eprint = {2202.12847},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-12847.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftml/Holden21,
author = {Sean B. Holden},
title = {Machine Learning for Automated Theorem Proving: Learning to Solve
{SAT} and {QSAT}},
journal = {Found. Trends Mach. Learn.},
volume = {14},
number = {6},
pages = {807--989},
year = {2021},
url = {https://doi.org/10.1561/2200000081},
doi = {10.1561/2200000081},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ftml/Holden21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SlowikMJHP20,
author = {Agnieszka Slowik 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 = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {13919--13920},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i10.7232},
doi = {10.1609/AAAI.V34I10.7232},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SlowikMJHP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/ManglaHP20,
author = {Chaitanya Mangla and
Sean B. Holden and
Lawrence C. Paulson},
editor = {Fran{\c{c}}ois Bobot and
Tjark Weber},
title = {Bayesian Optimisation of Solver Parameters in {CBMC}},
booktitle = {Proceedings of the 18th International Workshop on Satisfiability Modulo
Theories co-located with the 10th International Joint Conference on
Automated Reasoning {(IJCAR} 2020), Online (initially located in Paris,
France), July 5-6, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2854},
pages = {37--47},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2854/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/smt/ManglaHP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-09063,
author = {Agnieszka Slowik and
Abhinav Gupta and
William L. Hamilton and
Mateja Jamnik and
Sean B. Holden},
title = {Towards Graph Representation Learning in Emergent Communication},
journal = {CoRR},
volume = {abs/2001.09063},
year = {2020},
url = {https://arxiv.org/abs/2001.09063},
eprinttype = {arXiv},
eprint = {2001.09063},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-09063.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-01335,
author = {Agnieszka Slowik and
Abhinav Gupta and
William L. Hamilton and
Mateja Jamnik and
Sean B. Holden and
Christopher J. Pal},
title = {Exploring Structural Inductive Biases in Emergent Communication},
journal = {CoRR},
volume = {abs/2002.01335},
year = {2020},
url = {https://arxiv.org/abs/2002.01335},
eprinttype = {arXiv},
eprint = {2002.01335},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-01335.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vampire/SlowikMJHP19,
author = {Agnieszka Slowik and
Chaitanya Mangla and
Mateja Jamnik and
Sean B. Holden and
Lawrence C. Paulson},
editor = {Laura Kov{\'{a}}cs and
Andrei Voronkov},
title = {Bayesian Optimisation for Heuristic Configuration in Automated Theorem
Proving},
booktitle = {Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops},
series = {EPiC Series in Computing},
volume = {71},
pages = {45--51},
publisher = {EasyChair},
year = {2019},
url = {https://easychair.org/publications/paper/K7Zd},
timestamp = {Wed, 11 Aug 2021 18:57:50 +0200},
biburl = {https://dblp.org/rec/conf/vampire/SlowikMJHP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-09137,
author = {Agnieszka Slowik and
Chaitanya Mangla and
Mateja Jamnik and
Sean B. Holden and
Lawrence C. Paulson},
title = {Bayesian Optimisation with Gaussian Processes for Premise Selection},
journal = {CoRR},
volume = {abs/1909.09137},
year = {2019},
url = {http://arxiv.org/abs/1909.09137},
eprinttype = {arXiv},
eprint = {1909.09137},
timestamp = {Tue, 24 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-09137.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/ArmeanLTPH18,
author = {Irina M. Armean and
Kathryn S. Lilley and
Matthew W. B. Trotter and
Nicholas Charles Victor Pilkington and
Sean B. Holden},
title = {Co-complex protein membership evaluation using Maximum Entropy on
{GO} ontology and InterPro annotation},
journal = {Bioinform.},
volume = {34},
number = {11},
pages = {1884--1892},
year = {2018},
url = {https://doi.org/10.1093/bioinformatics/btx803},
doi = {10.1093/BIOINFORMATICS/BTX803},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/ArmeanLTPH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/BreckelsHWMCGTK16,
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},
title = {Learning from Heterogeneous Data Sources: An Application in Spatial
Proteomics},
journal = {PLoS Comput. Biol.},
volume = {12},
number = {5},
year = {2016},
url = {https://doi.org/10.1371/journal.pcbi.1004920},
doi = {10.1371/JOURNAL.PCBI.1004920},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/BreckelsHWMCGTK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpram/TimoteoH15,
author = {Ivo J. P. M. Tim{\'{o}}teo and
Sean B. Holden},
editor = {Maria De Marsico and
M{\'{a}}rio A. T. Figueiredo and
Ana L. N. Fred},
title = {Learning Dynamic Systems from Time-series Data - An Application to
Gene Regulatory Networks},
booktitle = {{ICPRAM} 2015 - Proceedings of the International Conference on Pattern
Recognition Applications and Methods, Volume 2, Lisbon, Portugal,
10-12 January, 2015},
pages = {324--332},
publisher = {SciTePress},
year = {2015},
timestamp = {Tue, 15 Sep 2015 17:18:41 +0200},
biburl = {https://dblp.org/rec/conf/icpram/TimoteoH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/RachuriHMH15,
author = {Kiran K. Rachuri and
Theus Hossmann and
Cecilia Mascolo and
Sean B. Holden},
title = {Beyond location check-ins: Exploring physical and soft sensing to
augment social check-in apps},
booktitle = {2015 {IEEE} International Conference on Pervasive Computing and Communications,
PerCom 2015, St. Louis, MO, USA, 23-27 March, 2015},
pages = {123--130},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/PERCOM.2015.7146518},
doi = {10.1109/PERCOM.2015.7146518},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/percom/RachuriHMH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BridgeHP14,
author = {James P. Bridge and
Sean B. Holden and
Lawrence C. Paulson},
title = {Machine Learning for First-Order Theorem Proving - Learning to Select
a Good Heuristic},
journal = {J. Autom. Reason.},
volume = {53},
number = {2},
pages = {141--172},
year = {2014},
url = {https://doi.org/10.1007/s10817-014-9301-5},
doi = {10.1007/S10817-014-9301-5},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BridgeHP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/BridgeHP13,
author = {James P. Bridge and
Sean B. Holden and
Lawrence C. Paulson},
title = {First-order theorem proving},
publisher = {{UCI} Machine Learning Repository},
year = {2013},
month = apr,
howpublished = {\url{https://doi.org/10.24432/C5RC9X}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.24432/C5RC9X},
doi = {10.24432/C5RC9X},
timestamp = {Mon, 31 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/BridgeHP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/RussellH10,
author = {Richard Anthony Russell and
Sean B. Holden},
editor = {Ronen I. Brafman and
Hector Geffner and
J{\"{o}}rg Hoffmann and
Henry A. Kautz},
title = {Handling Goal Utility Dependencies in a Satisfiability Framework},
booktitle = {Proceedings of the 20th International Conference on Automated Planning
and Scheduling, {ICAPS} 2010, Toronto, Ontario, Canada, May 12-16,
2010},
pages = {145--152},
publisher = {{AAAI}},
year = {2010},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1419},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/RussellH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sspr/FothergillHH08,
author = {Simon Fothergill and
Robert Harle and
Sean B. Holden},
editor = {Niels da Vitoria Lobo and
Takis Kasparis and
Fabio Roli and
James Tin{-}Yau Kwok and
Michael Georgiopoulos and
Georgios C. Anagnostopoulos and
Marco Loog},
title = {Modeling the Model Athlete: Automatic Coaching of Rowing Technique},
booktitle = {Structural, Syntactic, and Statistical Pattern Recognition, Joint
{IAPR} International Workshop, {SSPR} {\&} {SPR} 2008, Orlando,
USA, December 4-6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5342},
pages = {372--381},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89689-0\_41},
doi = {10.1007/978-3-540-89689-0\_41},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sspr/FothergillHH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/Naish-GuzmanH07a,
author = {Andrew Naish{-}Guzman and
Sean B. Holden},
editor = {John C. Platt and
Daphne Koller and
Yoram Singer and
Sam T. Roweis},
title = {The Generalized {FITC} Approximation},
booktitle = {Advances in Neural Information Processing Systems 20, Proceedings
of the Twenty-First Annual Conference on Neural Information Processing
Systems, Vancouver, British Columbia, Canada, December 3-6, 2007},
pages = {1057--1064},
publisher = {Curran Associates, Inc.},
year = {2007},
url = {https://proceedings.neurips.cc/paper/2007/hash/94c7bb58efc3b337800875b5d382a072-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/Naish-GuzmanH07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/Naish-GuzmanH07,
author = {Andrew Naish{-}Guzman and
Sean B. Holden},
editor = {John C. Platt and
Daphne Koller and
Yoram Singer and
Sam T. Roweis},
title = {Robust Regression with Twinned Gaussian Processes},
booktitle = {Advances in Neural Information Processing Systems 20, Proceedings
of the Twenty-First Annual Conference on Neural Information Processing
Systems, Vancouver, British Columbia, Canada, December 3-6, 2007},
pages = {1065--1072},
publisher = {Curran Associates, Inc.},
year = {2007},
url = {https://proceedings.neurips.cc/paper/2007/hash/2ab56412b1163ee131e1246da0955bd1-Abstract.html},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/Naish-GuzmanH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icann/PaquetHN05,
author = {Ulrich Paquet and
Sean B. Holden and
Andrew Naish{-}Guzman},
editor = {Wlodzislaw Duch and
Janusz Kacprzyk and
Erkki Oja and
Slawomir Zadrozny},
title = {Bayesian Hierarchical Ordinal Regression},
booktitle = {Artificial Neural Networks: Formal Models and Their Applications -
{ICANN} 2005, 15th International Conference, Warsaw, Poland, September
11-15, 2005, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {3697},
pages = {267--272},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11550907\_42},
doi = {10.1007/11550907\_42},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/icann/PaquetHN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icann/Naish-GuzmanHP05,
author = {Andrew Naish{-}Guzman and
Sean B. Holden and
Ulrich Paquet},
editor = {Wlodzislaw Duch and
Janusz Kacprzyk and
Erkki Oja and
Slawomir Zadrozny},
title = {On the Explicit Use of Example Weights in the Construction of Classifiers},
booktitle = {Artificial Neural Networks: Formal Models and Their Applications -
{ICANN} 2005, 15th International Conference, Warsaw, Poland, September
11-15, 2005, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {3697},
pages = {307--312},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11550907\_49},
doi = {10.1007/11550907\_49},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icann/Naish-GuzmanHP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/candc/BurbidgeTBH02,
author = {Robert Burbidge and
Matthew W. B. Trotter and
Bernard F. Buxton and
Sean B. Holden},
title = {Drug Design by Machine Learning: Support Vector Machines for Pharmaceutical
Data Analysis},
journal = {Comput. Chem.},
volume = {26},
number = {1},
pages = {5--14},
year = {2002},
url = {https://doi.org/10.1016/S0097-8485(01)00094-8},
doi = {10.1016/S0097-8485(01)00094-8},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/candc/BurbidgeTBH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwann/BurbidgeTBH01,
author = {Robert Burbidge and
Matthew W. B. Trotter and
Bernard F. Buxton and
Sean B. Holden},
editor = {Jos{\'{e}} Mira and
Alberto Prieto},
title = {{STAR} - Sparsity through Automated Rejection},
booktitle = {Connectionist Models of Neurons, Learning Processes and Artificial
Intelligence, 6th International Work-Conference on Artificial and
Natural Neural Networks, {IWANN} 2001 Granada, Spain, June 13-15,
2001, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {2084},
pages = {653--660},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45720-8\_78},
doi = {10.1007/3-540-45720-8\_78},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/iwann/BurbidgeTBH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcs/WickramaratnaHB01,
author = {Jeevani Wickramaratna and
Sean B. Holden and
Bernard F. Buxton},
editor = {Josef Kittler and
Fabio Roli},
title = {Performance Degradation in Boosting},
booktitle = {Multiple Classifier Systems, Second International Workshop, {MCS}
2001 Cambridge, UK, July 2-4, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2096},
pages = {11--21},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48219-9\_2},
doi = {10.1007/3-540-48219-9\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/mcs/WickramaratnaHB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/AnthonyH98,
author = {Martin Anthony and
Sean B. Holden},
editor = {Peter L. Bartlett and
Yishay Mansour},
title = {Cross-Validation for Binary Classification by Real-Valued Functions:
Theoretical Analysis},
booktitle = {Proceedings of the Eleventh Annual Conference on Computational Learning
Theory, {COLT} 1998, Madison, Wisconsin, USA, July 24-26, 1998},
pages = {218--229},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/279943.279987},
doi = {10.1145/279943.279987},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/colt/AnthonyH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neco/HoldenN97,
author = {Sean B. Holden and
Mahesan Niranjan},
title = {Average-Case Learning Curves for Radial Basis Function Networks},
journal = {Neural Comput.},
volume = {9},
number = {2},
pages = {441--460},
year = {1997},
url = {https://doi.org/10.1162/neco.1997.9.2.441},
doi = {10.1162/NECO.1997.9.2.441},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neco/HoldenN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/Holden96,
author = {Sean B. Holden},
editor = {Avrim Blum and
Michael J. Kearns},
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} 1996, Desenzano del Garda, Italy, June 28-July 1, 1996},
pages = {41--50},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/238061.238067},
doi = {10.1145/238061.238067},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/colt/Holden96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neco/HoldenN95,
author = {Sean B. Holden and
Mahesan Niranjan},
title = {On the practical applicability of {VC} dimension bounds},
journal = {Neural Comput.},
volume = {7},
number = {6},
pages = {1265--1288},
year = {1995},
url = {https://doi.org/10.1162/neco.1995.7.6.1265},
doi = {10.1162/NECO.1995.7.6.1265},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neco/HoldenN95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/npl/HoldenN95,
author = {Sean B. Holden and
Mahesan Niranjan},
title = {On the statistical physics of radial basis function networks},
journal = {Neural Process. Lett.},
volume = {2},
number = {4},
pages = {16--19},
year = {1995},
url = {https://doi.org/10.1007/BF02279933},
doi = {10.1007/BF02279933},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/npl/HoldenN95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnn/HoldenR95,
author = {Sean B. Holden and
Peter J. W. Rayner},
title = {Generalization and {PAC} learning: some new results for the class
of generalized single-layer networks},
journal = {{IEEE} Trans. Neural Networks},
volume = {6},
number = {2},
pages = {368--380},
year = {1995},
url = {https://doi.org/10.1109/72.363472},
doi = {10.1109/72.363472},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tnn/HoldenR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsys/AnthonyH94,
author = {Martin Anthony and
Sean B. Holden},
title = {Quantifying Generalization in Linearly Weighted Neural Networks},
journal = {Complex Syst.},
volume = {8},
number = {2},
year = {1994},
url = {http://www.complex-systems.com/abstracts/v08\_i02\_a02.html},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsys/AnthonyH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Holden93,
author = {Sean B. Holden},
title = {On the theory of generalization and self-structuring in linearly weighted
connectionist networks},
school = {University of Cambridge, {UK}},
year = {1993},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.309871},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Holden93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/AnthonyH93,
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 {ACM} Conference on Computational
Learning Theory, {COLT} 1993, Santa Cruz, CA, USA, July 26-28, 1993},
pages = {158--164},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/168304.168324},
doi = {10.1145/168304.168324},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/colt/AnthonyH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/HoldenR92,
author = {Sean B. Holden and
Peter J. W. Rayner},
title = {Generalization and learning in Volterra and radial basis function
networks: a theoretical analysis},
booktitle = {1992 {IEEE} International Conference on Acoustics, Speech, and Signal
Processing, {ICASSP} '92, San Francisco, California, USA, March 23-26,
1992},
pages = {273--276},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICASSP.1992.226067},
doi = {10.1109/ICASSP.1992.226067},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/icassp/HoldenR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/LynchRH91,
author = {Michael R. Lynch and
Peter J. W. Rayner and
Sean B. Holden},
title = {Removal of degeneracy in adaptive Volterra networks by dynamic structuring},
booktitle = {1991 International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '91, Toronto, Ontario, Canada, May 14-17, 1991},
pages = {2069--2072},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/ICASSP.1991.150812},
doi = {10.1109/ICASSP.1991.150812},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/icassp/LynchRH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-03 20:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
