Sean B. Holden
Orcid: 0000-0001-7979-1148
According to our database1,
Sean B. Holden
authored at least 44 papers
between 1991 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
MUGI-MRI: Enhancing Breast Cancer Classification through Multiplex Graph Neural Networks in DCE-MRI.
Proceedings of the International Joint Conference on Neural Networks, 2024
Proceedings of the 13th International Conference on Pattern Recognition Applications and Methods, 2024
2023
Connections: Markov Decision Processes for Classical, Intuitionistic and Modal Connection Calculi.
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), 2023
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), 2023
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), 2023
2022
Proceedings of the IEEE Conference on Games, CoG 2022, Beijing, 2022
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022
On the Relation between Distributionally Robust Optimization and Data Curation (Student Abstract).
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Found. Trends Mach. Learn., 2021
Proceedings of the 43rd Annual Meeting of the Cognitive Science Society, 2021
2020
Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), 2020
Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract).
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Proceedings of the Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops, 2019
2018
Co-complex protein membership evaluation using Maximum Entropy on GO ontology and InterPro annotation.
Bioinform., 2018
2016
PLoS Comput. Biol., 2016
2015
Beyond location check-ins: Exploring physical and soft sensing to augment social check-in apps.
Proceedings of the 2015 IEEE International Conference on Pervasive Computing and Communications, 2015
Learning Dynamic Systems from Time-series Data - An Application to Gene Regulatory Networks.
Proceedings of the ICPRAM 2015, 2015
2014
Machine Learning for First-Order Theorem Proving - Learning to Select a Good Heuristic.
J. Autom. Reason., 2014
2013
2010
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010
2008
Proceedings of the Structural, 2008
2007
Proceedings of the Advances in Neural Information Processing Systems 20, 2007
Proceedings of the Advances in Neural Information Processing Systems 20, 2007
2005
Proceedings of the Artificial Neural Networks: Formal Models and Their Applications, 2005
Proceedings of the Artificial Neural Networks: Formal Models and Their Applications, 2005
2002
Drug Design by Machine Learning: Support Vector Machines for Pharmaceutical Data Analysis.
Comput. Chem., 2002
2001
Proceedings of the Multiple Classifier Systems, Second International Workshop, 2001
Proceedings of the Connectionist Models of Neurons, 2001
1998
Cross-Validation for Binary Classification by Real-Valued Functions: Theoretical Analysis.
Proceedings of the Eleventh Annual Conference on Computational Learning Theory, 1998
1997
Neural Comput., 1997
1996
Proceedings of the Ninth Annual Conference on Computational Learning Theory, 1996
1995
Generalization and PAC learning: some new results for the class of generalized single-layer networks.
IEEE Trans. Neural Networks, 1995
Neural Process. Lett., 1995
1994
1993
On the theory of generalization and self-structuring in linearly weighted connectionist networks.
PhD thesis, 1993
Proceedings of the Sixth Annual ACM Conference on Computational Learning Theory, 1993
1992
Generalization and learning in Volterra and radial basis function networks: a theoretical analysis.
Proceedings of the 1992 IEEE International Conference on Acoustics, 1992
1991
Proceedings of the 1991 International Conference on Acoustics, 1991