Not finding it? Sign in to also search OpenAlex live.
-
Towards a scientific workflow featuring Natural Language Processing for the digitisation of natural history collections2020 Research Ideas and Outcomes article Computer Science Handwritten Text Recognition Techniques Open access
David C. Owen, Laurence Livermore, Quentin Groom, Alex Hardisty, Thijs Leegwater, Myriam van Walsum, +2 more
8citations -
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations
14 results