159 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
5 papers
Harnessing Historical Corrections to build Test Collections for Named Entity Disambiguation
Florian Reitz
Matching mentions of persons to the actual persons (the name disambiguation problem) is central for several digital library applications. Scientists have been working on algorithms…
Homonym Detection in Curated Bibliographies: Learning from dblp's Experience (full version)
Marcel R. Ackermann, Florian Reitz
Identifying (and fixing) homonymous and synonymous author profiles is one of the major tasks of curating personalized bibliographic metadata repositories like the dblp computer sci…
Better Answers to Real Questions
Marek Kosta, Thomas Sturm, Andreas Dolzmann
We consider existential problems over the reals. Extended quantifier elimination generalizes the concept of regular quantifier elimination by providing in addition answers, which a…
Decision Problems for Deterministic Pushdown Automata on Infinite Words
Christof Löding
The article surveys some decidability results for DPDAs on infinite words (omega-DPDA). We summarize some recent results on the decidability of the regularity and the equivalence p…
Analysis of Agglomerative Clustering
Marcel R. Ackermann, Johannes Blömer, Daniel Kuntze +1
The diameter -clustering problem is the problem of partitioning a finite subset of into subsets called clusters such that the maximum diameter of the clusters…