2 papers
math.LO2025
Splittings in varieties of logic
Brian A. Davey, Tomasz Kowalski, Christopher J. Taylor
We study splittings, or lack of them, in lattices of subvarieties of some logic-related varieties. We present a general lemma, the Non-Splitting Lemma, which when combined with som…
cs.CV2020
Evaluating Registration Without Ground Truth
Carole J. Twining, Vladimir S. Petrović, Timothy F. Cootes +3
We present a generic method for assessing the quality of non-rigid registration (NRR) algorithms, that does not depend on the existence of any ground truth, but depends solely on t…