Global Caching for the Flat Coalgebraic µ-Calculus.

Daniel Hausmann Lutz Schröder

Published in: TIME (2015)

Keyphrases

genetic algorithm
information systems
information retrieval systems
neural network
machine learning
information retrieval
prefetching
global information
mobile environments
multidatabase systems
consistency maintenance