The Mealy-machine reduction functions of Spot.

Florian Renkin Philipp Schlehuber-Caissier Alexandre Duret-Lutz Adrien Pommellet

Published in: Sci. Comput. Program. (2023)

Keyphrases

information systems
search algorithm
artificial neural networks
basis functions
reduction method
batch processing
computer vision
data structure
preprocessing
data reduction