Combining Theories with Shared Set Operations.

Thomas Wies Ruzica Piskac Viktor Kuncak

Published in: FroCoS (2009)

Keyphrases

databases
combining multiple
multiresolution
real world
computer vision
genetic algorithm
decision making
website
formal models