Displacement Calculus

Glyn Morrill Oriol Valentín

Published in: CoRR (2010)

Keyphrases

automated deduction
computer algebra
information retrieval
timed automata
automated theorem proving
optical flow
hidden markov models
displacement estimation
formal language
motion estimation
probabilistic model
database
digital libraries
multi agent
bayesian networks
genetic algorithm
data mining