2 papers
cs.CL2025
Enriching Historical Records: An OCR and AI-Driven Approach for Database Integration
Zahra Abedi, Richard M. K. van Dijk, Gijs Wijnholds +1
This research digitizes and analyzes the Leidse hoogleraren en lectoren 1575-1815 books written between 1983 and 1985, which contain biographic data about professors and curators o…
cs.CE2025
Numerical Errors in Quantitative System Analysis With Decision Diagrams
Sebastiaan Brand, Arend-Jan Quist, Richard M. K. van Dijk +1
Decision diagrams (DDs) are a powerful data structure that is used to tackle the state-space explosion problem, not only for discrete systems, but for probabilistic and quantum sys…