A Dedekind-Style Axiomatization and the Corresponding Universal Property of an Ordinal Number System.

Zurab Janelidze Ineke van der Berg

Published in: J. Symb. Log. (2022)

Keyphrases

small number
computational effort
finite number
fixed number
genetic algorithm
image processing
case study
three dimensional
objective function
multiresolution
mobile robot
memory requirements