Computations modulo regular chains.

Xin Li Marc Moreno Maza Wei Pan

Published in: ISSAC (2009)

Keyphrases

data sets
image registration
databases
bayesian networks
search algorithm
relational databases
xml documents