Samuel Williams
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2025
Leveraging AI for Productive and Trustworthy HPC Software: Challenges and Research Directions.
CoRR, May, 2025
Automatic Synthesis of Smooth Infinite Horizon Paths Satisfying Linear Temporal Logic Specifications.
Proceedings of the Computer Aided Verification - 37th International Conference, 2025
2024
IEEE Control. Syst. Lett., 2024
Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, 2024
A Relative Pitch Based Approach to Non-verbal Vocal Interaction as a Continuous and One-Dimensional Controller.
Proceedings of the Human-Computer Interaction, 2024
Proceedings of the 8th IFAC Conference on Analysis and Design of Hybrid Systems, 2024
2021
Proceedings of the 7th International Conference of the Immersive Learning Research Network, 2021
Redefining the Digital Paradigm for Virtual Museums - Towards Interactive and Engaging Experiences in the Post-pandemic Era.
Proceedings of the Culture and Computing. Interactive Cultural Heritage and Arts, 2021
2017
Proceedings of the 25th International Conference on Systems Engineering, 2017
2013
Proceedings of the 28th International Conference on Image and Vision Computing New Zealand, 2013
Proceedings of the 14th Annual ACM SIGCHI_NZ conference on Computer-Human Interaction, 2013