Distributed Branching Bisimulation Minimization by Inductive Signatures
Stefan BlomJaco van de PolPublished in: PDMC (2009)
Keyphrases
- distributed systems
- lightweight
- distributed network
- signature verification
- inductive learning
- distributed environment
- multi agent
- cooperative
- machine learning
- loosely coupled
- databases
- heterogeneous environments
- search algorithm
- search space
- real time
- privacy preserving
- mobile agents
- computing environments
- neural network
- data sets