Efficient and Modular Coalgebraic Partition Refinement.

Thorsten Wißmann Ulrich Dorsch Stefan Milius Lutz Schröder

Published in: CoRR (2018)

Keyphrases

preprocessing
cost effective
real time
databases
artificial intelligence
information systems
e learning
mobile robot