On the index of Simon's congruence for piecewise testability.

Prateek Karandikar Manfred Kufleitner Philippe Schnoebelen

Published in: Inf. Process. Lett. (2015)

Keyphrases

index structure
decision trees
linear model
image segmentation
mobile robot
software development
piecewise linear
database
neural network
search algorithm
multi agent systems
indexing method